spark-ada topic
List
spark-ada repositories
awesome-ada
593
Stars
71
Forks
Watchers
A curated list of awesome resources related to the Ada and SPARK programming language
libkeccak
33
Stars
3
Forks
Watchers
SHA-3 and other Keccak related algorithms in SPARK/Ada.
HAVK
24
Stars
1
Forks
Watchers
An attempt at a minimalistic and secure operating system.
spat
15
Stars
4
Forks
Watchers
SPARK Proof Analysis Tool