The CompCert formally-verified C compiler
Repository Index
71,372 visible repositories in the index
1–4 of 4 · Most stars
Language for high-assurance and high-speed cryptography
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
A Verified Compiler for Gallina, Written in Gallina
- coq
- gallina
- compiler
- formal-verification