SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Fully functional Hungarian Algorithm implementation in Ada
- hungarian-algorithm
- ada
- munkres
- kuhn
Supports functional testing using Tcl scripts.
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash