| ProofGeneral/PG |
461 |
|
0 |
0 |
about 2 years ago |
0 |
|
213 |
gpl-3.0 |
Emacs Lisp |
| This repo is the new home of Proof General |
| cpitclaudel/company-coq |
327 |
|
0 |
0 |
about 3 years ago |
0 |
|
97 |
gpl-3.0 |
Emacs Lisp |
| A Coq IDE build on top of Proof General's Coq mode |
| WasmCert/WasmCert-Coq |
84 |
|
0 |
0 |
about 2 years ago |
0 |
|
1 |
mit |
Coq |
| A mechanisation of Wasm in Coq |
| alhassy/next-700-module-systems |
69 |
|
0 |
0 |
over 4 years ago |
0 |
|
0 |
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. |
| bryangarza/dot-emacs |
9 |
|
0 |
0 |
over 7 years ago |
0 |
|
0 |
gpl-3.0 |
Emacs Lisp |
| Past the point of no return. |
| konne88/SpaceSearch |
8 |
|
0 |
0 |
almost 9 years ago |
0 |
|
1 |
|
Coq |
| drzix/hc-zenburn-vscode |
8 |
|
0 |
0 |
about 5 years ago |
0 |
|
1 |
gpl-3.0 |
|
| 🌘A Higher Contrast Version of the Popular Zenburn Theme for Visual Studio Code |
| uwplse/SaltShaker |
8 |
|
0 |
0 |
almost 9 years ago |
0 |
|
0 |
|
Shell |
| Verifying x86 semantics |
| Ailrun/coq-commenter |
6 |
|
0 |
0 |
over 8 years ago |
0 |
|
5 |
gpl-3.0 |
Emacs Lisp |
| Coq commenter for Emacs |
| cpitclaudel/elcoq |
5 |
|
0 |
0 |
almost 10 years ago |
0 |
|
0 |
|
Emacs Lisp |
| Experiments with SerAPI in Emacs |
