GitHub repository: rod-chapman/SPARKNaCl
Primary language: Ada
Description: SPARK 2014 re-implementation of the TweetNaCl crypto library