spark-naclrod-chapman/SPARKNaCl
A formally verified, portable SPARK 2014 implementation of the NaCl cryptographic library with constant-time algorithms.
13614Ada
2 months agoThere are currently 5 open-source projects built with SPARK 2014, with a combined total of 244 GitHub stars. The most common language among these projects is Ada.
Showing 3 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
