|
|
None |
2 |
Yaklang Lambda Calculus: Beta-Reduction |
May 29, 2023 |
|
|
TypeScript |
2 |
A visual representation of the lambda calculus and animation of beta reduction. |
Aug 28, 2021 |
|
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
|
C# |
2 |
An Interactive Shell Based on a Typed Lambda Calculus. |
Feb 07, 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 |
|
|
JavaScript |
4 |
Beta reduction graph visualization |
Jun 05, 2022 |
|
|
JavaScript |
5 |
Lambda Calculus compiler for Codewars |
Aug 16, 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 |
|
|
TypeScript |
15 |
interactive λ-calculus for learning |
Sep 02, 2022 |
|
|
Ruby |
3 |
syntax sugar for the lambda calculus |
Aug 05, 2022 |
|
|
Scheme |
5 |
A superoptimizer for the lambda calculus |
Apr 10, 2023 |
|
|
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 |
|
|
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 |
|
|
Haskell |
6 |
A Krivine machine for the call-by-name reduction of lambda calculus (with call/cc & clock) expressions … |
Apr 09, 2023 |
|
|
JavaScript |
2 |
A structure editor for a lambda calculus |
Jan 03, 2023 |
|
|
C++ |
2 |
A calculator / programming language based on lambda calculus. 基于 Lambda 演算的简易编程语言。 |
Jun 20, 2022 |