A cryptographic library in SPARK 2014
created at May 15, 2018, 9:53 p.m.
Framework for platform-independent SPARK components
created at Feb. 26, 2019, 9:01 a.m.
Formally verified, bounded-stack XML library
created at May 27, 2018, 10:55 a.m.
JSON/JWK/JWS/JWT/Base64 library in SPARK
created at April 28, 2018, 8:14 p.m.
[DEPRECATED] Generate Ada bindings to C++ code
created at June 7, 2018, 10:47 a.m.