https://github.com/mit-plv/fiat
Coq141
6 months ago
Mostly Automated Synthesis of Correct-by-Construction Programs
Other
Bedrock Bit Vector Library
Coq25mit
Cryptographic Primitive Code Generation by Fiat
Coq623other
7 months ago
RISC-V Specification in Coq
Coq89bsd-3-clause
11 months ago