• The CompCert C Compiler https://compcert.org/compcert-C.html 225 comments 26/5/2024
• CompCert – Formally-verified C compiler https://github.com/AbsInt/CompCert 123 comments 27/6/2021
• CompCert – A formally verified C compiler http://compcert.inria.fr/ 57 comments 22/1/2019
• CompCert: A formally verified optimizing C compiler http://www.absint.com/compcert/ 62 comments 2/3/2015

• Runtime error in formally verified CompCert C compiler's parser https://github.com/AbsInt/CompCert/issues/211 13 comments 19/12/2017 c , formalmethods

• CompCert – A formally verified C compiler http://compcert.inria.fr/ 62 comments 22/1/2019 programming
• CompCert - a formally verified optimizing C compiler http://compcert.inria.fr/ 44 comments 31/1/2014 programming