|
|
JavaScript |
3 |
A Scheme interpreter/lambda calculus reducer in JavaScript. |
Mar 19, 2020 |
|
|
JavaScript |
2 |
JS / jison port of my lambda-calculus reducer |
Jan 29, 2024 |
|
|
Ruby |
11 |
A minimal esolang based on lambda calculus |
Jan 15, 2023 |
|
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
|
Rust |
7 |
Binary lambda calculus |
Aug 08, 2022 |
|
|
Scheme |
8 |
lambda calculus interpreter |
May 01, 2021 |
|
|
OCaml |
2 |
lambda calculus + coroutines |
Nov 14, 2021 |
|
|
Haskell |
3 |
Lambda calculus interpreter |
Feb 06, 2022 |
|
|
Python |
5 |
Binary lambda calculus |
Apr 22, 2022 |
|
|
None |
4 |
lambda calculus interpreter |
Dec 13, 2022 |
|
|
OCaml |
5 |
A lambda calculus compiler |
Apr 14, 2019 |
|
|
Standard ML |
5 |
A Lambda Calculus Interpreter |
Mar 19, 2022 |
|
|
Haskell |
2 |
Lambda calculus to Brainfuck |
Jan 15, 2021 |
|
|
Haskell |
3 |
Linear lambda calculus implementation |
Dec 05, 2019 |
|
|
F# |
2 |
Simply-typed lambda calculus |
Nov 01, 2022 |
|
|
TypeScript |
7 |
A lambda calculus interpreter |
Mar 28, 2023 |
|
|
Python |
2 |
Lambda Calculus in Python |
Jul 18, 2018 |
|
|
CoffeeScript |
7 |
A Lambda Calculus interpreter |
Dec 02, 2017 |
|
|
Clojure |
4 |
Lambda Calculus in Clojure |
Mar 08, 2023 |
|
|
Elm |
8 |
Experiments with Lambda Calculus |
Feb 07, 2023 |
|
|
Scala |
3 |
Enriched typed lambda calculus |
Jan 31, 2021 |
|
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
|
C++ |
4 |
Lambda calculus written in C++ |
Jul 22, 2022 |
|
|
JavaScript |
5 |
Lambda Calculus compiler for Codewars |
Aug 16, 2022 |
|
|
Haskell |
8 |
Lambda calculus parser in Haskell |
Mar 01, 2022 |
|
|
Racket |
2 |
lambda-calculus interpreter in Racket |
Jul 18, 2021 |
|
|
Elixir |
3 |
Lambda Calculus Explorations in Elixir |
Mar 17, 2020 |
|
|
Haskell |
2 |
A simply typed lambda calculus |
Jul 27, 2022 |
|
|
Dart |
2 |
Flutter APP evaluating Lambda Calculus |
Nov 05, 2022 |
|
|
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 |
11 |
Untyped Lambda Calculus parser & evaluator. |
Nov 14, 2022 |
|
|
Haskell |
19 |
An extended typed Lambda Calculus |
Mar 02, 2022 |
|
|
Go |
2 |
A toy typed lambda-calculus |
Oct 09, 2018 |
|
|
Haskell |
2 |
A simple lambda calculus interpreter |
Jun 03, 2019 |
|
|
Haskell |
65 |
(λ) Educational lambda calculus interpreter |
May 10, 2023 |
|
|
PureScript |
5 |
simple lambda calculus in purescript |
Mar 10, 2023 |
|
|
Haskell |
9 |
Dependently typed lambda calculus interpreter |
May 05, 2021 |
|
|
Rust |
2 |
An untyped lambda calculus interpreter |
Mar 02, 2023 |
|
|
C |
2 |
Lambda calculus expression simplifier repl |
Dec 13, 2022 |
|
|
None |
2 |
Yaklang Lambda Calculus: Beta-Reduction |
May 29, 2023 |
|
|
TSQL |
7 |
SK calculus reducer in as many programming languages as possible. |
Jan 21, 2023 |
|
|
OCaml |
6 |
playing around with the lambda calculus |
Dec 11, 2020 |
|
|
Haskell |
6 |
Library to work with lambda calculus |
Apr 12, 2022 |
|
|
Verilog |
8 |
simple typed lambda calculus on Coq |
Oct 15, 2020 |
|
|
Ruby |
3 |
syntax sugar for the lambda calculus |
Aug 05, 2022 |
|
|
Haskell |
2 |
A lecture about lambda calculus (finnish) |
Sep 27, 2015 |
|
|
C |
3 |
Lambda calculus REPL written in C |
Dec 18, 2020 |