compcert
Here are 8 public repositories matching this topic...
Verified Software Toolchain
-
Updated
Dec 9, 2024 - Coq
A Lustre compiler in Coq
-
Updated
Nov 22, 2024 - Coq
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
-
Updated
Dec 5, 2024 - Coq
Towards a verified back-end for The Glorious Glasgow Haskell Compilation System
-
Updated
Mar 9, 2022 - Coq
Docker images of the Coq proof assistant with compcert and VST pre-installed
-
Updated
Feb 15, 2022 - Shell
Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq
-
Updated
Mar 4, 2022 - Coq
Tools for working with Verified Software Units
-
Updated
Jan 19, 2022 - OCaml
Improve this page
Add a description, image, and links to the compcert topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the compcert topic, visit your repo's landing page and select "manage topics."