|
Haskell |
3 |
Linear lambda calculus implementation |
Dec 05, 2019 |
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
C |
6 |
Dead simple implementation of Lambda Calculus. |
Dec 25, 2022 |
|
Rust |
3 |
Pure untyped lambda calculus in safe Rust. |
Mar 02, 2023 |
|
OCaml |
2 |
OCaml implementation of lambda calculus and type checkers |
Apr 26, 2022 |
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
OCaml |
4 |
An implementation of dependently typed lambda calculus |
Jul 18, 2022 |
|
Haskell |
2 |
Expriments in lambda-calculus implementation in haskell |
Dec 28, 2019 |
|
Scala |
28 |
Scala implementation of a lambda calculus interpreter |
Jan 12, 2023 |
|
Rust |
69 |
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust |
Jul 18, 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 |
5 |
Lambda Calculus compiler for Codewars |
Aug 16, 2022 |
|
Idris |
3 |
Implementation and verification of the Simply Typed Lambda Calculus using Idris |
Nov 24, 2016 |
|
JavaScript |
3 |
An implementation of Church's untyped lambda calculus in JavaScript |
Jan 19, 2022 |
|
Common Lisp |
4 |
Implementation of meta lambda calculus with cross-level computation |
Sep 03, 2017 |
|
Haskell |
20 |
Lambda Calculus with quote and unquote |
Jan 29, 2023 |
|
Haskell |
3 |
A lambda and SKI calculus playground |
Dec 04, 2020 |
|
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 |
|
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 |
|
Agda |
3 |
Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond |
Sep 15, 2021 |
|
Rust |
4 |
An implementation of Joker Calculus in Rust |
Jan 17, 2022 |
|
Ruby |
3 |
syntax sugar for the lambda calculus |
Aug 05, 2022 |
|
Scheme |
5 |
A superoptimizer for the lambda calculus |
Apr 10, 2023 |
|
Haskell |
4 |
Modular lambda calculus using Backpack and prisms |
Jan 29, 2023 |
|
C |
4 |
A toy lambda calculus interpreter and compiler |
Aug 07, 2022 |
|
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 |