Would you recoomend this project?
A formally verified implementation of cryptographic algorithms using the SPARK programming language. For the complete library proofs of the absence of run-time errors are available. Some of its subprograms include proofs of partial correctness.
You can download file releases of libsparkcrypto project from List of release files
System RequirementsOperating System: OS Portable (Source code to work with many OS platforms), POSIX (Linux,BSD,Solaris etc..), Other
List of release files