Gaëtan Gilbert's repositories
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:CoqMIT000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
Coq-Equations
A plugin for Coq to add dependent pattern-matching.
coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
coq-tactician
A Seamless, Interactive Tactic Learner and Prover for Coq
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT000
ocaml-opam
Main public package repository for opam, the source package manager of OCaml.
Language:CoqMIT000
QuickChick
Randomized Property-Based Testing Plugin for Coq
reduction-effects
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
relation-algebra
Relation algebra library for Coq