|
Rust |
69 |
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust |
Jul 18, 2022 |
|
Haskell |
11 |
Untyped Lambda Calculus parser & evaluator. |
Nov 14, 2022 |
|
Rust |
2 |
An untyped lambda calculus interpreter |
Mar 02, 2023 |
|
Java |
4 |
Untyped Lambda Calculus Interpreter implemented with ANTLR4 |
Jul 17, 2020 |
|
None |
8 |
The untyped lambda calculus, implemented in Ink |
May 01, 2021 |
|
Haskell |
2 |
An untyped lambda calculus interpreter written in Haskell |
Jul 25, 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 |
|
Common Lisp |
166 |
A Lisp interpreter written in untyped lambda calculus |
Oct 10, 2022 |
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
Nix |
3 |
A simple (untyped) Lambda Calculus interpreter written in Haskell |
Apr 16, 2022 |
|
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 |
2 |
A cunning interpreter for the pure untyped λ-calculus. |
Nov 03, 2022 |
|
Haskell |
7 |
Untyped lambda calculus via Normalization by Evaluation (NbE) in Haskell |
Mar 17, 2023 |
|
Common Lisp |
3 |
Untyped λ-calculus interpreter |
Aug 02, 2022 |
|
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 |
|
JavaScript |
2 |
A small project to help me learn about the untyped lambda calculus. |
Jan 30, 2014 |
|
Haskell |
4 |
A small (untyped) pi-calculus interpreter |
Mar 16, 2021 |
|
Standard ML |
2 |
interactive tool for the untyped λ-calculus |
May 29, 2020 |
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
Haskell |
8 |
Compiler for untyped π-calculus + simple C FFI |
May 15, 2023 |
|
Rust |
2 |
An implementation and tutorial for Lambda Calculus in Rust |
Mar 25, 2023 |
|
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 |
19 |
Implementation of the Fibonacci sequence in JS using pure Lambda Calculus |
Feb 02, 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 |
|
Rust |
2 |
Unicode Collation Algorithm in pure, safe Rust. |
Mar 05, 2023 |
|
Rust |
492 |
Usable, easy and safe pure-Rust crypto |
May 17, 2023 |
|
Rust |
3 |
Simple REPL shell for untyped lambda expressions. |
May 09, 2023 |
|
Rust |
5 |
A Brotli implementation in pure and safe Rust |
Jul 13, 2021 |
|
C++ |
4 |
Lambda calculus written in C++ |
Jul 22, 2022 |
|
JavaScript |
5 |
Lambda Calculus compiler for Codewars |
Aug 16, 2022 |