Projects in Awesome Lists by Componolit
A curated list of projects in awesome lists by Componolit .
https://github.com/Componolit/libsparkcrypto
A cryptographic library in SPARK 2014
crypto-library formal-verification
Last synced: 14 Mar 2025
https://github.com/Componolit/gneiss
Framework for platform-independent SPARK components
ada component-based embedded formal-methods formal-verification spark
Last synced: 14 Mar 2025
https://github.com/Componolit/SXML
Formally verified, bounded-stack XML library
ada formal-methods formal-verification parser spark xml
Last synced: 14 Mar 2025
https://github.com/Componolit/jwx
JSON/JWK/JWS/JWT/Base64 library in SPARK
ada base64 jose json json-web-signature jwk jws jwt jwt-authentication jwt-token spark
Last synced: 14 Mar 2025
https://github.com/Componolit/Cappulada
[DEPRECATED] Generate Ada bindings to C++ code
ada binding-generator bindings cpp
Last synced: 14 Mar 2025