Frédéric Besson's repositories
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
bbv
Bedrock Bit Vector Library
bignums
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
codegen
Coq plugin for monomorphization and C code generation
CompCert
The CompCert formally-verified C compiler
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-elpi
Coq plugin embedding elpi
coqprime
Prime numbers for Coq
coqutil
Coq library for tactics, basic definitions, sets, maps
cross-crypto
Connecting computational and symbolic crypto models
fcf
Foundational Cryptography Framework for machine-checked proofs of cryptography.
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
jasmin
Jasmin compiler
kami
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mythril
A hypervisor written in rust
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
RIOT
RIOT - The friendly OS for IoT
verdi
A framework for formally verifying distributed systems implementations in Coq
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
VST
Verified Software Toolchain