|
Common Lisp |
3 |
Untyped λ-calculus interpreter |
Aug 02, 2022 |
|
Rust |
2 |
An untyped lambda calculus interpreter |
Mar 02, 2023 |
|
Java |
4 |
Untyped Lambda Calculus Interpreter implemented with ANTLR4 |
Jul 17, 2020 |
|
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 |
|
Haskell |
2 |
A cunning interpreter for the pure untyped λ-calculus. |
Nov 03, 2022 |
|
Nix |
3 |
A simple (untyped) Lambda Calculus interpreter written in Haskell |
Apr 16, 2022 |
|
Haskell |
11 |
Untyped Lambda Calculus parser & evaluator. |
Nov 14, 2022 |
|
Haskell |
10 |
A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell |
Jan 02, 2020 |
|
JavaScript |
2 |
A small project to help me learn about the untyped lambda calculus. |
Jan 30, 2014 |
|
Standard ML |
2 |
interactive tool for the untyped λ-calculus |
May 29, 2020 |
|
None |
8 |
The untyped lambda calculus, implemented in Ink |
May 01, 2021 |
|
Rust |
3 |
Pure untyped lambda calculus in safe Rust. |
Mar 02, 2023 |
|
Scheme |
8 |
lambda calculus interpreter |
May 01, 2021 |
|
Haskell |
3 |
Lambda calculus interpreter |
Feb 06, 2022 |
|
None |
4 |
lambda calculus interpreter |
Dec 13, 2022 |
|
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 |
|
Haskell |
8 |
Compiler for untyped π-calculus + simple C FFI |
May 15, 2023 |
|
C |
2 |
A small lambda calculus interpreter in C for bootstrapping purposes. |
Mar 25, 2023 |
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
Standard ML |
5 |
A Lambda Calculus Interpreter |
Mar 19, 2022 |
|
TypeScript |
7 |
A lambda calculus interpreter |
Mar 28, 2023 |
|
Haskell |
9 |
Interpreter of Implicit Calculus |
Aug 25, 2019 |
|
CoffeeScript |
7 |
A Lambda Calculus interpreter |
Dec 02, 2017 |
|
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 |
|
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 |
|
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 |
|
Python |
4 |
λ-calculus interpreter written in python |
Oct 21, 2021 |
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
TypeScript |
6 |
A simple λ-calculus interpreter in TypeScript. |
May 20, 2022 |
|
TypeScript |
8 |
Type-Level Lambda Calculus interpreter with TypeScript |
Jul 26, 2022 |
|
Haskell |
7 |
A simple lambda calculus interpreter in Haskell. |
Oct 18, 2022 |
|
Lua |
2 |
a clumsy lambda calculus interpreter with lua |
Jul 16, 2020 |
|
Haskell |
2 |
A lazy λ-calculus interpreter in Haskell |
Mar 06, 2021 |
|
JavaScript |
156 |
A λ-calculus interpreter written in JavaScript |
Mar 10, 2023 |
|
C |
4 |
A toy lambda calculus interpreter and compiler |
Aug 07, 2022 |
|
Scala |
28 |
Scala implementation of a lambda calculus interpreter |
Jan 12, 2023 |