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