A verified Ada/SPARK implementation of the SipHash keyed hash function for hash-flooding DoS protection.
An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.