Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Mtac2 | 50 | 2 months ago | 71 | other | Coq | |||||
Unicoq | 46 | 5 months ago | 7 | mit | OCaml | |||||
An enhanced unification algorithm for Coq | ||||||||||
Pumpkin Patch | 38 | 3 years ago | 45 | mit | OCaml | |||||
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker | ||||||||||
Codegen | 33 | a year ago | lgpl-2.1 | OCaml | ||||||
Coq plugin for monomorphization and C code generation | ||||||||||
Aac Tactics | 29 | 3 months ago | 1 | other | OCaml | |||||
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog] | ||||||||||
Coqast | 26 | 4 years ago | 2 | OCaml | ||||||
Fun plugin to play with the Gallina AST. | ||||||||||
Oeuf | 17 | 5 years ago | Coq | |||||||
gallina frontend for CompCert | ||||||||||
Typingflags | 16 | 4 years ago | 2 | Coq | ||||||
A Coq plugin to disable positivity check, guard check and termination check | ||||||||||
Constructors | 15 | 6 years ago | 1 | bsd-2-clause | OCaml | |||||
Example Coq plugin | ||||||||||
.github | 14 | 7 months ago | 1 | apache-2.0 | ||||||
asdf-community meta repository |