Gaëtan Gilbert's repositories
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
coinduction
coinduction library for Coq
CompCert
The CompCert formally-verified C compiler
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
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit
ocaml-opam
Main public package repository for opam, the source package manager of OCaml.
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
rewriter
Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting
stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
VST
Verified Software Toolchain