Cryptographic Primitive Code Generation by Fiat - View it on GitHub