An interactive theorem prover based on lambda-tree syntax
-
Updated
Jan 16, 2025 - OCaml
#
lambda-calculus
Here are 34 public repositories matching this topic...
Abstract krivine machine implementing call-by-name semantics. In OCaml.
-
Updated
Apr 8, 2018 - OCaml
My Attempt at System Fω with Row-Polymorphism
-
Updated
Jul 4, 2021 - OCaml
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
-
Updated
May 10, 2024 - OCaml
An implementation of Linear Lambda Calculus.
-
Updated
Apr 16, 2020 - OCaml
Dependently typed lambda calculus - A Simple Proof Assistant
-
Updated
Sep 3, 2020 - OCaml
Various implementations of normalization by evaluation.
-
Updated
May 1, 2021 - OCaml
Source code for TAPL
-
Updated
Mar 24, 2017 - OCaml
OCaml implementation of a Lambda Calculus Interpreter
-
Updated
Feb 26, 2022 - OCaml
An implementation of dependently typed lambda calculus
-
Updated
Jul 17, 2022 - OCaml
Lambda Calculus implementations in OCaml.
-
Updated
May 26, 2022 - OCaml
Implementation of a CEK machine
-
Updated
Mar 10, 2019 - OCaml
A type theory for unbiased cartesian closed categories.
-
Updated
Jan 7, 2025 - OCaml
Lambda Calculus Interpreter with Definitions
-
Updated
Dec 20, 2023 - OCaml
Implementation of the lambda calculus
-
Updated
Oct 8, 2019 - OCaml
Implementation of a CK machine
-
Updated
Mar 10, 2019 - OCaml
Implementation of Algorithm W
-
Updated
Mar 6, 2019 - OCaml
Improve this page
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."