HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Distributed Simulation of Transport Networks