Ifc
Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Mtac2 | 50 | 3 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 | 4 months ago | 1 | other | OCaml | |||||
| Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog] | ||||||||||
| Coqast | 26 | 5 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 | 8 months ago | 1 | apache-2.0 | ||||||
| asdf-community meta repository | ||||||||||
Alternatives To IfcSelect To Compare
Alternative Project Comparisons
Popular Coq Projects
Popular Plugin Projects
Popular Mathematics Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Plugin
Testing
Flow
Coq