hmac_ada

Ada ★ 1 updated 11d ago

SPARK-proved HMAC (RFC 2104) implementation in Ada/SPARK

No plain-English explanation yet — one is being written right now. Check back in a minute.