There are no reviews yet. Be the first to send feedback to the community and the maintainers!
ada-runtime
libsparkcrypto
A cryptographic library in SPARK 2014gneiss
Framework for platform-independent SPARK componentsSXML
Formally verified, bounded-stack XML libraryjwx
JSON/JWK/JWS/JWT/Base64 library in SPARKCappulada
[DEPRECATED] Generate Ada bindings to C++ codebasalt
Collection of formally verified building blocksada-style
AZ3
Ada binding to the Z3 Theorem ProverRecordFlux-specifications
Specifications for RecordFluxsparkprof
systematization-binary-vulnerabilities
rilproxy
7-segment-driver
Driver for 7 segment displays based on the STM32F0 Discovery boardgravel
Component library for components built with Gneisssparkunit
Unit test framework for SPARK 2005ali2dep
GNAT ALI to make dependency convertersgx-ada
Workarounds
Repository to track workarounds to be removed once an upstream solution is availableLove Open Source and this site? Check out how you can help us