compcert topic
List
compcert repositories
CompCert
1.8k
Stars
221
Forks
Watchers
The CompCert formally-verified C compiler
VST
423
Stars
88
Forks
Watchers
Verified Software Toolchain
vericert
85
Stars
5
Forks
Watchers
A formally verified high-level synthesis tool based on CompCert and written in Coq.
velus
56
Stars
6
Forks
Watchers
A Lustre compiler in Coq
CertiGraph
16
Stars
5
Forks
Watchers
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.