| AndrasKovacs/smalltt |
475 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
mit |
Lean |
| Demo for high-performance type theory elaboration |
| antalsz/hs-to-coq |
281 |
|
0 |
0 |
over 5 years ago |
0 |
|
62 |
mit |
Coq |
| Convert Haskell source code to Coq source code |
| ezyang/logitext |
129 |
|
0 |
0 |
about 5 years ago |
0 |
|
5 |
other |
UrWeb |
| Beautiful, interactive visualizations of logical inference |
| brownplt/LambdaJS |
86 |
|
0 |
0 |
about 4 years ago |
0 |
|
9 |
other |
JavaScript |
| Semantics and tools for JavaScript |
| plclub/hs-to-coq |
69 |
|
0 |
0 |
almost 3 years ago |
0 |
|
55 |
mit |
Coq |
| Convert Haskell source code to Coq source code. |
| AndrasKovacs/normalization-bench |
36 |
|
0 |
0 |
about 5 years ago |
0 |
|
4 |
mit |
Haskell |
| Lambda normalization and conversion checking benchmarks for various implementations |
| zilberstein/system-fc-coq |
6 |
|
0 |
0 |
almost 11 years ago |
0 |
|
0 |
|
TeX |
