Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Pg | 461 | 3 months ago | 213 | gpl-3.0 | Emacs Lisp | |||||
This repo is the new home of Proof General | ||||||||||
Company Coq | 327 | a year ago | 97 | gpl-3.0 | Emacs Lisp | |||||
A Coq IDE build on top of Proof General's Coq mode | ||||||||||
Wasmcert Coq | 84 | 3 months ago | 1 | mit | Coq | |||||
A mechanisation of Wasm in Coq | ||||||||||
Next 700 Module Systems | 69 | 3 years ago | gpl-3.0 | HTML | ||||||
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue. | ||||||||||
Dot Emacs | 9 | 5 years ago | gpl-3.0 | Emacs Lisp | ||||||
Past the point of no return. | ||||||||||
Hc Zenburn Vscode | 8 | 3 years ago | 1 | gpl-3.0 | ||||||
🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code | ||||||||||
Saltshaker | 8 | 7 years ago | Shell | |||||||
Verifying x86 semantics | ||||||||||
Spacesearch | 8 | 7 years ago | 1 | Coq | ||||||
Coq Commenter | 6 | 7 years ago | 5 | gpl-3.0 | Emacs Lisp | |||||
Coq commenter for Emacs | ||||||||||
Elcoq | 5 | 8 years ago | Emacs Lisp | |||||||
Experiments with SerAPI in Emacs |