| woodrush/lambdalisp |
187 |
|
0 |
0 |
about 3 years ago |
0 |
|
0 |
mit |
Common Lisp |
| A Lisp interpreter written in untyped lambda calculus |
| evinism/lambda-explorer |
52 |
|
0 |
0 |
almost 4 years ago |
0 |
|
31 |
mit |
JavaScript |
| Tutorial / REPL for the lambda calculus |
| zhiayang/lambda |
17 |
|
0 |
0 |
almost 5 years ago |
0 |
|
0 |
apache-2.0 |
C++ |
| lambda calculus interpreter |
| 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 |
| gregomni/ulc |
7 |
|
0 |
0 |
over 10 years ago |
0 |
|
0 |
|
Swift |
| Untyped Lambda Calculus REPL written in Swift |
| surrsurus/gazelle |
7 |
|
0 |
0 |
over 7 years ago |
0 |
|
3 |
gpl-3.0 |
Python |
| Gazelle - A scripting language inspired by LISP and Scheme |
| sanjoy/L |
5 |
|
0 |
0 |
over 15 years ago |
0 |
|
0 |
lgpl-3.0 |
C |
| A Small Evaluator for Untyped Lambda Calculus |
| ChrisBlom/Signs |
5 |
|
0 |
0 |
almost 10 years ago |
0 |
|
0 |
mit |
Haskell |
| A tool for working with abstract categorial grammars (ACG) . Includes a REPL util where terms can be entered, type checked and evaluated. |
| sjsyrek/malcjs |
5 |
|
0 |
2 |
over 5 years ago |
8 |
November 15, 2020 |
0 |
|
JavaScript |
| Make a lambda calculus - npm package version for JavaScript |
