| steshaw/plt |
5,018 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
CSS |
| Programming Language Theory λΠ |
| HigherOrderCO/Kind |
3,354 |
|
0 |
2 |
over 2 years ago |
105 |
February 15, 2023 |
53 |
mit |
Rust |
| A next-gen functional language |
| sdiehl/write-you-a-haskell |
2,744 |
|
0 |
0 |
over 6 years ago |
0 |
|
21 |
mit |
Haskell |
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) |
| agda/agda |
2,281 |
|
69 |
0 |
about 2 years ago |
40 |
November 30, 2023 |
1,016 |
other |
Haskell |
| Agda is a dependently typed programming language / interactive theorem prover. |
| leanprover/lean3 |
2,131 |
|
0 |
0 |
over 2 years ago |
0 |
|
58 |
apache-2.0 |
C++ |
| Lean Theorem Prover |
| jozefg/learn-tt |
1,307 |
|
0 |
0 |
over 5 years ago |
0 |
|
4 |
|
|
| A collection of resources for learning type theory and type theory adjacent fields. |
| HoTT/Coq-HoTT |
1,201 |
|
0 |
0 |
about 2 years ago |
0 |
|
107 |
other |
Coq |
| A Coq library for Homotopy Type Theory |
| michaelt/martin-lof |
670 |
|
0 |
0 |
about 3 years ago |
0 |
|
14 |
|
TeX |
| papers of Per Martin Löf |
| mortberg/cubicaltt |
547 |
|
0 |
0 |
over 2 years ago |
0 |
|
22 |
mit |
Haskell |
| Experimental implementation of Cubical Type Theory |
| pikelet-lang/pikelet |
507 |
|
0 |
0 |
almost 5 years ago |
1 |
July 24, 2018 |
30 |
apache-2.0 |
Rust |
| A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧 |
