Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 18 Dec 2024
https://github.com/AbsInt/CompCert
The CompCert formally-verified C compiler
Last synced: 28 Oct 2024
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: 20 Dec 2024
https://github.com/inria/velus
A Lustre compiler in Coq
compcert coq-formalization lustre synchronous-language
Last synced: 19 Dec 2024
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 2024
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: 10 Oct 2024
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: 06 Nov 2024
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: 06 Nov 2024