| steshaw/plt |
5,018 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
CSS |
| Programming Language Theory λΠ |
| 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. |
| 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. |
| typedefs/typedefs |
343 |
|
0 |
0 |
over 4 years ago |
0 |
|
54 |
agpl-3.0 |
Idris |
| Programming language agnostic type construction language based on polynomials. |
| williamdemeo/TypeFunc |
182 |
|
0 |
0 |
about 5 years ago |
0 |
|
0 |
|
|
| Resources for type theory, functional programming, etc. |
| advancedresearch/path_semantics |
156 |
|
0 |
0 |
about 2 years ago |
0 |
|
27 |
mit |
Rust |
| A research project in path semantics, a re-interpretation of functions for expressing mathematics |
| err0r500/foundational-knowledge-for-programmers |
112 |
|
0 |
0 |
about 5 years ago |
0 |
|
0 |
|
|
| List of resources about foundational knowledge for programmers (supposed to last a few decades) |
| granstrom/intuitionistic |
9 |
|
0 |
0 |
about 11 years ago |
0 |
|
0 |
apache-2.0 |
OCaml |
| Automatically exported from code.google.com/p/intuitionistic |
| razvan-flavius-panda/awesome-agda-programming |
7 |
|
0 |
0 |
over 5 years ago |
0 |
|
1 |
mit |
|
| Awesome Agda Programming |
