| prakhar1989/type-inference |
295 |
|
0 |
0 |
over 9 years ago |
0 |
|
5 |
|
OCaml |
| The Hindley Milner Type Inference Algorithm |
| owo-lang/minitt-rs |
68 |
|
4 |
5 |
over 5 years ago |
7 |
September 21, 2020 |
7 |
apache-2.0 |
Rust |
| Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust |
| otabat/shen-c |
54 |
|
0 |
0 |
over 4 years ago |
0 |
|
1 |
|
C |
| A C implementation of the Shen programming language |
| evinism/lambda-explorer |
52 |
|
0 |
0 |
almost 4 years ago |
0 |
|
31 |
mit |
JavaScript |
| Tutorial / REPL for the lambda calculus |
| QuantumBFS/ZXCalculus.jl |
44 |
|
0 |
0 |
about 2 years ago |
0 |
|
11 |
mit |
Julia |
| An implementation of ZX-calculus in Julia |
| fedeinthemix/chez-scmutils |
18 |
|
0 |
0 |
over 9 years ago |
0 |
|
1 |
|
Scheme |
| Port of the 'MIT Scmutils' library to Chez Scheme. |
| rootmos/silly-k |
13 |
|
0 |
0 |
almost 9 years ago |
0 |
|
0 |
|
Scheme |
| silly-k is an experimental hobby language inspired by K and APL |
| typedclojure/screencasts |
9 |
|
0 |
0 |
almost 11 years ago |
0 |
|
0 |
|
Clojure |
| Typed Clojure screencasts |
| gregomni/ulc |
7 |
|
0 |
0 |
over 10 years ago |
0 |
|
0 |
|
Swift |
| Untyped Lambda Calculus REPL written in Swift |
| vzwGrey/mu |
6 |
|
0 |
0 |
over 5 years ago |
0 |
|
0 |
mit |
Haskell |
| Untyped Lambda Calculus parser & evaluator. |
