|
Python |
5 |
Binary lambda calculus |
Apr 22, 2022 |
|
None |
2 |
Algorithmic Information Theory, using Binary Lambda Calculus |
Mar 05, 2022 |
|
Haskell |
98 |
Algorithmic Information Theory, using Binary Lambda Calculus |
May 02, 2023 |
|
C |
13 |
Binary Lambda Calculus evaluation engine written in Malbolge. |
Mar 03, 2023 |
|
C |
9 |
Binary Lambda Calculus VM and DSL on top of it |
Jun 12, 2021 |
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 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 |
|
None |
4 |
lambda calculus interpreter |
Dec 13, 2022 |
|
C |
4 |
:sparkles: File format and optimizer for programs encoded in binary lambda calculus |
May 26, 2023 |
|
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 |
|
C |
2 |
A minimal lambda calculus reducer. |
Apr 15, 2023 |
|
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 |
|
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 |