Popular repositories

1. ada-runtime ada-runtime Public archive

   Ada 33 3

2. libsparkcrypto libsparkcrypto Public

   A cryptographic library in SPARK 2014

   Ada 27 3

3. gneiss gneiss Public archive

   Framework for platform-independent SPARK components

   Ada 22 2

4. SXML SXML Public

   Formally verified, bounded-stack XML library

   Ada 21 2

5. jwx jwx Public

   JSON/JWK/JWS/JWT/Base64 library in SPARK

   Ada 17

6. Cappulada Cappulada Public

   [DEPRECATED] Generate Ada bindings to C++ code

   Python 15 3