lambda-calculus
Here are 632 public repositories matching this topic...
Lambda Interpreter Implemented In haskell
-
Updated
Nov 8, 2017 - Haskell
[WIP] A series of tutorials for lambda calculus
-
Updated
Oct 5, 2023 - OCaml
"Languages, Compilers, and Interpreters" Course Material
-
Updated
Mar 28, 2024 - Coq
Comparison study between various methods of evaluation for untyped lambda expressions, with practical implementations available
-
Updated
Jun 30, 2024 - Haskell
A Lambda Calculus to LLVM IR compiler
-
Updated
May 10, 2024 - Python
-
Updated
Mar 23, 2024 - Agda
Lambda calculus interpreter
-
Updated
Aug 20, 2017 - C++
PCF with Hindley-Milner type inference.
-
Updated
Dec 14, 2017 - Haskell
A type inference algorithm for SystemF/polymorphic lambda calculus (undecidable problem) and an experimental playground for methods based on the higher-order unification for type inference and type checking of formal systems defined by the lambda cube concept.
-
Updated
Aug 17, 2023 - Haskell
Different implementations of the Y-Combinator in modern programming languages
-
Updated
Dec 26, 2023 - Erlang
[
-
Updated
Jun 14, 2024 - Erlang
-
Updated
Jun 25, 2016 - Haskell
Simple lambda calculus language with type inference
-
Updated
Feb 13, 2017 - Haskell
Demo of using the typechecking with constraint rules
-
Updated
Jul 19, 2018
A simple Lambda Calculus interpreter
-
Updated
Mar 5, 2019 - Haskell
✨ λ - lambda calc inspired language 💻
-
Updated
May 6, 2019 - Haskell
Modified version parsing CHM
-
Updated
Jul 8, 2020 - Haskell
Interpreter For Lambda Calculus
-
Updated
Sep 4, 2022 - C#
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."