Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Ergo | 144 | 10 | 9 | a year ago | 960 | November 08, 2022 | 46 | apache-2.0 | Coq | |
Programming Language for Smart Legal Contracts | ||||||||||
Coq Serapi | 119 | 2 months ago | 17 | other | OCaml | |||||
Coq Protocol Playground with Se(xp)rialization of Internal Structures. | ||||||||||
Plugin_tutorials | 23 | 5 years ago | unlicense | OCaml | ||||||
A collection of small projects to illustrate how to write plugins for Coq | ||||||||||
Coqpit.vim | 7 | 4 years ago | 3 | isc | Vim script | |||||
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim. |