|
F# |
2 |
Simply-typed lambda calculus |
Nov 01, 2022 |
|
Haskell |
2 |
A simply typed lambda calculus |
Jul 27, 2022 |
|
Agda |
5 |
Stuff about the simply typed lambda calculus |
Oct 15, 2018 |
|
Kotlin |
2 |
Extensible simply typed lambda calculus interpreter in Kotlin using object algebras. |
Nov 26, 2022 |
|
Idris |
4 |
Reflecting simply-typed lambda calculus into Idris |
Feb 11, 2022 |
|
Elm |
13 |
Bidirectional type checker for the simply typed lambda calculus |
Jul 17, 2022 |
|
Haskell |
4 |
A small interpretter for the simply typed lambda calculus, with type inference |
Feb 10, 2022 |
|
Idris |
39 |
Idris-written, correct-by-construction, simply-typed lambda calculus. |
Mar 17, 2023 |
|
Idris |
3 |
Implementation and verification of the Simply Typed Lambda Calculus using Idris |
Nov 24, 2016 |
|
Agda |
3 |
Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond |
Sep 15, 2021 |
|
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 |
|
Scala |
3 |
Enriched typed lambda calculus |
Jan 31, 2021 |
|
Coq |
3 |
Proof of type safety for Simply Typed Lambda Calculus in Coq. |
Oct 24, 2020 |
|
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 |
|
JavaScript |
3 |
Strongly typed extensible effects |
Mar 24, 2019 |
|
Verilog |
8 |
simple typed lambda calculus on Coq |
Oct 15, 2020 |
|
C |
70 |
A compiler for the gradually typed lambda calculus |
Feb 20, 2023 |
|
Haskell |
4 |
exercises with recursion schemes |
May 26, 2021 |
|
OCaml |
4 |
An implementation of dependently typed lambda calculus |
Jul 18, 2022 |
|
C |
2 |
Optimised type inference for simply-typed λ-calculus |
Mar 30, 2022 |
|
Scala |
3 |
Recursion schemes with Higherkindness talk |
Apr 13, 2023 |
|
Kotlin |
22 |
Kotlin recursion schemes with Arrow |
Aug 05, 2022 |
|
OCaml |
9 |
Dependently typed lambda calculus - A Simple Proof Assistant |
Jun 04, 2022 |
|
Haskell |
9 |
px is an experimental, typed lambda calculus for _ |
Aug 20, 2022 |
|
Haskell |
2 |
Simply-typed lambda expressions typecheker in Haskell |
Mar 01, 2022 |
|
Rust |
2 |
Customizable, solver-based type migration for the gradually-typed lambda calculus. |
Jan 14, 2023 |
|
C# |
2 |
An Interactive Shell Based on a Typed Lambda Calculus. |
Feb 07, 2022 |
|
OCaml |
6 |
playing around with the lambda calculus |
Dec 11, 2020 |
|
Elm |
8 |
Experiments with Lambda Calculus |
Feb 07, 2023 |
|
None |
2 |
An Isabelle/HOL theory of intuitionistic logic, employing combinators and a shallow embedding of the simply … |
Jan 21, 2015 |
|
Agda |
2 |
Type-preserving CPS translation for simply- and dependently-typed lambda calculi |
Sep 16, 2017 |
|
Haskell |
6 |
Library to work with lambda calculus |
Apr 12, 2022 |
|
Haskell |
20 |
Lambda Calculus with quote and unquote |
Jan 29, 2023 |
|
Ruby |
3 |
syntax sugar for the lambda calculus |
Aug 05, 2022 |
|
Scheme |
5 |
A superoptimizer for the lambda calculus |
Apr 10, 2023 |
|
Java |
4 |
Untyped Lambda Calculus Interpreter implemented with ANTLR4 |
Jul 17, 2020 |
|
TypeScript |
8 |
Type-Level Lambda Calculus interpreter with TypeScript |
Jul 26, 2022 |
|
Lua |
2 |
a clumsy lambda calculus interpreter with lua |
Jul 16, 2020 |
|
Java |
2 |
Play round with Lambda Calculus in Java. |
Nov 02, 2022 |
|
None |
8 |
The untyped lambda calculus, implemented in Ink |
May 01, 2021 |
|
F# |
12 |
A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime |
May 02, 2023 |
|
C++ |
4 |
A functional programming language implementing the semantic rules of the lambda calculus (λ-calculus). |
Nov 22, 2022 |
|
Coq |
9 |
Formalisation of the linear lambda calculus in Coq |
Oct 21, 2021 |
|
OCaml |
4 |
Implementations of several variants of the lambda calculus. |
Apr 05, 2023 |
|
Jupyter Notebook |
4 |
Tutorials on lambda calculus using the Mikrokosmos interpreter |
May 11, 2021 |
|
Python |
10 |
Visual environment for manipulation the lambda calculus expressions |
May 18, 2023 |
|
Racket |
2 |
An experimental lambda calculus compiling to the LLVM |
Mar 02, 2023 |