SPARKNaCl/README.md at master · rod-chapman/SPARKNaCl · GitHub - discu.eu

Reddit

SPARKNaCl - A SPARK 2014 implemenation of the NaCl cryptographic library, *proven to be free of runtime errors* https://github.com/rod-chapman/sparknacl/blob/master/readme.md 11 comments 27/2/2020 programming

Linking pages

Performance analysis and tuning of SPARKNaCl | The AdaCore Blog https://blog.adacore.com/performance-analysis-and-tuning-of-sparknacl 36 comments
Proving properties of constant-time crypto code in… | The AdaCore Blog https://blog.adacore.com/proving-constant-time-crypto-code-in-sparknacl 35 comments
GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
SPARKNaCl - Two Years of Optimizing Crypto Code in… | The AdaCore Blog https://blog.adacore.com/sparknacl-two-years-of-optimizing-crypto-code-in-spark-and-counting 8 comments
SPARKNaCl with GNAT and SPARK Community 2021:… | The AdaCore Blog https://blog.adacore.com/sparknacl-with-gnat-and-spark-community-2021-port-proof-and-performance 5 comments

Linked pages

Related searches:

Search whole site: site:github.com

Search title: SPARKNaCl/README.md at master · rod-chapman/SPARKNaCl · GitHub

See how to search.

Submit link to: