-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedAug 30, 2024 -
vellvm Public
Forked from vellvm/vellvmThe Vellvm II coq development.
Coq Other UpdatedOct 12, 2023 -
helix Public
Forked from vzaliva/helixFormally verified operator language and rewriting engine for high-performance computing
Coq UpdatedSep 6, 2023 -
-
-
float-cohorts Public
Simple value-preserving operations on floats in Coq (Flocq)
-
asn1fpcoq Public
Forked from digamma-ai/asn1fpcoqCoq formalization of ASN.1 floating point
Coq UpdatedJul 5, 2019