Ada binding to OpenAL which tries to mimic original API while using Ada types.
Repository Index
47,133 repositories indexed
25–28 of 28 · Most stars
A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014
The BLAKE2s hash function for SPARK83 [Ada (1987)]
- blake2
- blake2s
- ada
- hash
Trivial implementation of fletcher_16 sum computation algorithm.