GitHub repository: Acidburn0zzz/fiat-crypto
Description: Cryptographic Primitive Code Generation by Fiat