SPARK_SipHash
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
5 stars
1 watching
0 forks
Language: Ada
last commit: over 6 years ago
Linked from 1 awesome list
SPARK_SipHash An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
ohenley/awesome-ada