Home / Ada/SPARK / Cryptography > spark-nacl Cryptography > spark-nacl SPARK 2014 re-implementation of the TweetNaCl crypto library. Package 132 stars GitHub Back to Ada/SPARK