01EntryItem

Archive

1. RepoSystems & Languages28 Sept 2026

   CompCert C Compiler

   The CompCert formally-verified C compiler. It is notable for being formally verified using Coq, guaranteeing that generated assembly behaves as prescribed by the source C semantics.

   SourceDetailsinteresting-repos post