There are 1 repository under compcert topic.
Verified Software Toolchain
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
Docker images of the Coq proof assistant with compcert and VST pre-installed
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq