| | CompCert: Formally verified compilers usable for critical embedded software (compcert.org) |
| 2 points by p4bl0 on Oct 23, 2024 | past |
|
| | The CompCert C Compiler (compcert.org) |
| 203 points by nequo on May 26, 2024 | past | 225 comments |
|
| | CompCert – The CompCert C Compiler (compcert.org) |
| 2 points by popcalc on March 11, 2024 | past |
|
| | CompCert C a formally verified optimizing compiler for a large subset of C99 (compcert.org) |
| 4 points by belter on June 26, 2021 | past | 1 comment |
|
