A curated list of awesome resources related to the Ada and SPARK programming language
-
Updated
May 22, 2024
A curated list of awesome resources related to the Ada and SPARK programming language
SPARK Proof Analysis Tool
Minimalist cooperative operating system supporting multiple tasks with MMU protection
SHA-3 and other Keccak related algorithms in SPARK/Ada.
An attempt to verify functions from Curve25519 implementation in SPARK2014
FLAC audio encoder/decoder in SPARK/Ada
A cryptographic framework, proven for correctness in SPARK
Add a description, image, and links to the spark-ada topic page so that developers can more easily learn about it.
To associate your repository with the spark-ada topic, visit your repo's landing page and select "manage topics."