Projects in Awesome Lists tagged with compcert
A curated list of projects in awesome lists tagged with compcert .
https://github.com/absint/compcert
The CompCert formally-verified C compiler
Last synced: 14 May 2025
https://github.com/AbsInt/CompCert
The CompCert formally-verified C compiler
Last synced: 20 Mar 2025
https://github.com/princetonuniversity/vst
Verified Software Toolchain
c compcert coq coq-library coq-vst formal-methods formal-specification formal-verification proof proof-assistant verification
Last synced: 07 Apr 2025
https://github.com/inria/velus
A Lustre compiler in Coq
compcert coq-formalization lustre synchronous-language
Last synced: 05 Jul 2025
https://github.com/CertiGraph/CertiGraph
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
compcert coq graph-algorithms vst
Last synced: 21 Sep 2025
https://github.com/appliedfm/docker-coq-vst
Docker images of the Coq proof assistant with compcert and VST pre-installed
appliedfm c compcert continuous-integration coq coq-vst docker-coq dockerfile
Last synced: 19 Feb 2026
https://github.com/appliedfm/coq-vsu-int63
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification
Last synced: 23 Jan 2026
https://github.com/appliedfm/coq-vsu
Tools for working with Verified Software Units
appliedfm c compcert coq coq-vst formal-methods formal-specification formal-verification verification
Last synced: 20 Jan 2026