HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
NBAda - An Ada library of lock-free data structures and algorithms.
A collections of small nifty demos/sample code that may help better layout data or structure project