GitHub repository: whitemike889/fiat-crypto
Primary language: Coq
Description: Cryptographic Primitive Code Generation by Fiat