An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Primary LanguageAdaOtherNOASSERTION