AbsInt / CompCertLinks
The CompCert formally-verified C compiler
☆2,012Updated last month
Alternatives and similar repositories for CompCert
Users that are interested in CompCert are comparing it to the libraries listed below
Sorting:
- CakeML: A Verified Implementation of ML☆1,068Updated this week
- seL4 specification and proofs☆555Updated last week
- A Proof-oriented Programming Language☆2,882Updated this week
- Formal Reasoning About Programs☆691Updated this week
- The MLton repository☆1,018Updated last month
- Dafny is a verification-aware programming language☆3,139Updated this week
- KaRaMeL is a tool for extracting low-level F* programs to readable C code