-
-
-
certicoq Public
Forked from CertiCoq/certicoqA Verified Compiler for Gallina, Written in Gallina
Coq MIT License UpdatedNov 1, 2024 -
WasmCert-Coq Public
Forked from WasmCert/WasmCert-CoqA mechanisation of Wasm in Coq
Coq MIT License UpdatedOct 18, 2024 -
ConCert Public
Forked from AU-COBRA/ConCertA framework for smart contract verification in Coq
Coq MIT License UpdatedOct 10, 2024 -
coq-rust-extraction Public
Forked from AU-COBRA/coq-rust-extractionCoq plugin for extracting Rust code
Coq MIT License UpdatedOct 10, 2024 -
OVN Public
Forked from AU-COBRA/OVNVerified implementation of the Open Vote Network protocol
Coq MIT License UpdatedAug 31, 2024 -
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedJul 22, 2024 -
refinement-types Public
Forked from mzacho/refinement-typesA refinement type checker for simply typed lamda calculus with inductive data-types and well-founded recursive functions
OCaml MIT License UpdatedFeb 10, 2024 -
-
-
-