| robrix/path |
79 |
|
0 |
0 |
over 6 years ago |
0 |
|
74 |
bsd-3-clause |
Haskell |
| A lambda calculus to explore type-directed program synthesis. |
| boyland/sasylf |
67 |
|
0 |
0 |
over 2 years ago |
0 |
|
7 |
|
Java |
| Educational Proof Assistant for Type Theory |
| andgate/type-theory-compiler |
38 |
|
0 |
0 |
almost 7 years ago |
0 |
|
0 |
|
Haskell |
| Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR. |
| lukeg101/lplzoo |
31 |
|
0 |
0 |
almost 5 years ago |
0 |
|
1 |
gpl-3.0 |
Haskell |
| Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck |
| lazear/types-and-programming-languages |
27 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
mit |
Rust |
| Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras! |
| m-yac/tt-in-cagda |
17 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
|
Agda |
| Simply typed lambda calculus in cubical agda |
