|
F# |
2 |
Simply-typed lambda calculus |
Nov 01, 2022 |
|
Scala |
3 |
Enriched typed lambda calculus |
Jan 31, 2021 |
|
Haskell |
2 |
A simply typed lambda calculus |
Jul 27, 2022 |
|
Haskell |
19 |
An extended typed Lambda Calculus |
Mar 02, 2022 |
|
Go |
2 |
A toy typed lambda-calculus |
Oct 09, 2018 |
|
Haskell |
9 |
Dependently typed lambda calculus interpreter |
May 05, 2021 |
|
Verilog |
8 |
simple typed lambda calculus on Coq |
Oct 15, 2020 |
|
OCaml |
4 |
An implementation of dependently typed lambda calculus |
Jul 18, 2022 |
|
Idris |
4 |
Reflecting simply-typed lambda calculus into Idris |
Feb 11, 2022 |
|
Agda |
5 |
Stuff about the simply typed lambda calculus |
Oct 15, 2018 |
|
Rust |
2 |
Customizable, solver-based type migration for the gradually-typed lambda calculus. |
Jan 14, 2023 |
|
OCaml |
9 |
Dependently typed lambda calculus - A Simple Proof Assistant |
Jun 04, 2022 |
|
C |
70 |
A compiler for the gradually typed lambda calculus |
Feb 20, 2023 |
|
Haskell |
9 |
px is an experimental, typed lambda calculus for _ |
Aug 20, 2022 |
|
Elm |
13 |
Bidirectional type checker for the simply typed lambda calculus |
Jul 17, 2022 |
|
Idris |
39 |
Idris-written, correct-by-construction, simply-typed lambda calculus. |
Mar 17, 2023 |
|
Agda |
3 |
Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond |
Sep 15, 2021 |
|
Haskell |
8 |
An interactive beta reduction calculator for lambda calculus |
Jun 23, 2022 |
|
JavaScript |
31 |
Interpreter for simply typed lambda calculus implemented in JavaScript λ |
Jul 13, 2022 |
|
C++ |
3 |
a compiler from Extended Simply Typed Lambda Calculus to LLVM |
Jan 27, 2023 |
|
Kotlin |
2 |
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras. |
Nov 26, 2022 |
|
Idris |
3 |
Implementation and verification of the Simply Typed Lambda Calculus using Idris |
Nov 24, 2016 |
|
Coq |
3 |
Proof of type safety for Simply Typed Lambda Calculus in Coq. |
Oct 24, 2020 |
|
Racket |
2 |
Lambda calculus interpreter and pretty-printer, plus definitions for a lambda calculus in lambda calculus |
Sep 26, 2022 |
|
Haskell |
4 |
A small interpretter for the simply typed lambda calculus, with type inference |
Feb 10, 2022 |
|
Ruby |
11 |
A minimal esolang based on lambda calculus |
Jan 15, 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 |
141 |
Run interactive shell commands on AWS Lambda |
Mar 16, 2023 |
|
Haskell |
3 |
Simple purely functional language based on lambda-calculus. |
Feb 11, 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 |
|
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 |
|
Java |
576 |
Spring based interactive shell |
Aug 12, 2022 |
|
Java |
2 |
Spring based interactive shell |
Jul 24, 2019 |
|
Java |
2 |
Spring based interactive shell |
Jul 17, 2021 |
|
None |
2 |
Spring based interactive shell |
Jul 03, 2023 |
|
Haskell |
19 |
:evergreen_tree: Logic puzzle game based on the lambda calculus |
May 06, 2022 |
|
Haskell |
5 |
Implementation of lambda calculus in Haskell. Gradual extensions from untyped lambda calculus to Calculus of … |
Aug 08, 2023 |
|
Haskell |
7 |
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects |
Feb 22, 2021 |