|
|
Rust |
2 |
An untyped lambda calculus interpreter |
Mar 02, 2023 |
|
|
None |
8 |
The untyped lambda calculus, implemented in Ink |
May 01, 2021 |
|
|
Haskell |
2 |
An untyped lambda calculus interpreter written in Haskell |
Jul 25, 2022 |
|
|
Common Lisp |
166 |
A Lisp interpreter written in untyped lambda calculus |
Oct 10, 2022 |
|
|
Nix |
3 |
A simple (untyped) Lambda Calculus interpreter written in Haskell |
Apr 16, 2022 |
|
|
Common Lisp |
3 |
Untyped λ-calculus interpreter |
Aug 02, 2022 |
|
|
Haskell |
11 |
Untyped Lambda Calculus parser & evaluator. |
Nov 14, 2022 |
|
|
Haskell |
4 |
A small (untyped) pi-calculus interpreter |
Mar 16, 2021 |
|
|
Scheme |
8 |
lambda calculus interpreter |
May 01, 2021 |
|
|
Haskell |
3 |
Lambda calculus interpreter |
Feb 06, 2022 |
|
|
None |
4 |
lambda calculus interpreter |
Dec 13, 2022 |
|
|
Rust |
3 |
Pure untyped lambda calculus in safe Rust. |
Mar 02, 2023 |
|
|
Standard ML |
5 |
A Lambda Calculus Interpreter |
Mar 19, 2022 |
|
|
TypeScript |
7 |
A lambda calculus interpreter |
Mar 28, 2023 |
|
|
CoffeeScript |
7 |
A Lambda Calculus interpreter |
Dec 02, 2017 |
|
|
OCaml |
4 |
Very basic untyped lambda calculus evaluator in OCaml. |
Mar 07, 2023 |
|
|
Common Lisp |
518 |
x86 C compiler written in untyped lambda calculus |
Oct 20, 2022 |
|
|
JavaScript |
31 |
Interpreter for simply typed lambda calculus implemented in JavaScript λ |
Jul 13, 2022 |
|
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
|
TypeScript |
8 |
Type-Level Lambda Calculus interpreter with TypeScript |
Jul 26, 2022 |
|
|
Lua |
2 |
a clumsy lambda calculus interpreter with lua |
Jul 16, 2020 |
|
|
Haskell |
2 |
A cunning interpreter for the pure untyped λ-calculus. |
Nov 03, 2022 |
|
|
Racket |
2 |
lambda-calculus interpreter in Racket |
Jul 18, 2021 |
|
|
Ruby |
8 |
Yet another lambda calculus interpreter |
Jun 06, 2021 |
|
|
PHP |
22 |
Lambda calculus interpreter in PHP. |
Feb 28, 2022 |
|
|
Clojure |
4 |
Lambda Calculus interpreter in clojure |
Mar 08, 2023 |
|
|
OCaml |
10 |
Lambda calculus interpreter in OCaml |
May 03, 2023 |
|
|
Haskell |
2 |
A simple lambda calculus interpreter |
Jun 03, 2019 |
|
|
Haskell |
65 |
(λ) Educational lambda calculus interpreter |
May 10, 2023 |
|
|
Haskell |
9 |
Dependently typed lambda calculus interpreter |
May 05, 2021 |
|
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
|
Common Lisp |
10 |
Common Lisp DSL for building untyped lambda calculus expressions |
Oct 07, 2022 |
|
|
Common Lisp |
30 |
A programmable virtual CPU written in untyped lambda calculus |
Oct 13, 2022 |
|
|
JavaScript |
3 |
An implementation of Church's untyped lambda calculus in JavaScript |
Jan 19, 2022 |
|
|
Haskell |
7 |
Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell |
Mar 17, 2023 |
|
|
Rust |
6 |
A PoC compiler that translates untyped lambda calculus into TypeScript types |
Apr 16, 2023 |
|
|
Idris |
3 |
:sparkles: A REPL for the untyped Lambda Calculus. (Work in progress) |
Jan 16, 2018 |
|
|
JavaScript |
5 |
is one of the fixed-point combinators in untyped lambda calculus |
May 15, 2020 |
|
|
Haskell |
7 |
A simple lambda calculus interpreter in Haskell. |
Oct 18, 2022 |
|
|
C |
4 |
A toy lambda calculus interpreter and compiler |
Aug 07, 2022 |
|
|
Scala |
28 |
Scala implementation of a lambda calculus interpreter |
Jan 12, 2023 |
|
|
Python |
17 |
A lambda calculus interpreter written in Python |
Jun 28, 2023 |
|
|
Python |
60 |
Lambda Calculus things implemented on Python |
Feb 10, 2023 |
|
|
JavaScript |
2 |
A small project to help me learn about the untyped lambda calculus. |
Jan 30, 2014 |
|
|
Jupyter Notebook |
4 |
Tutorials on lambda calculus using the Mikrokosmos interpreter |
May 11, 2021 |
|
|
JavaScript |
3 |
A Scheme interpreter/lambda calculus reducer in JavaScript. |
Mar 19, 2020 |
|
|
Haskell |
10 |
A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell |
Jan 02, 2020 |
|
|
Rust |
69 |
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust |
Jul 18, 2022 |
|
|
Scala |
7 |
A Scala interpreter for lambda calculus, using Huet's Zipper |
Jun 13, 2022 |
|
|
Elm |
8 |
Experiments with Lambda Calculus |
Feb 07, 2023 |