lambda-calculus
Here are 21 public repositories matching this topic...
A lambda calculus interpreter written in C.
-
Updated
Oct 7, 2017 - C
minimal lambda interpreter in c99
-
Updated
May 11, 2020 - C
Convert BLC to other BLC encodings!
-
Updated
Sep 8, 2024 - C
A Lambda Calculus interpreter implemented in C.
-
Updated
Aug 27, 2022 - C
A C implementation of a Pure Lambda Calculus interpreter
-
Updated
Feb 14, 2019 - C
Experimental interpreter for untyped lambda calculus
-
Updated
Dec 27, 2023 - C
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
-
Updated
May 31, 2023 - C
Lambda calculus expression simplifier repl
-
Updated
Nov 10, 2018 - C
lambda calculus interpreter
-
Updated
May 15, 2020 - C
This is the first and official compiler for the LambdaLang programming language.
-
Updated
Oct 20, 2020 - C
🧜♀️ The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
-
Updated
Jan 21, 2024 - C
✨ File format and optimizer for programs encoded in binary lambda calculus
-
Updated
Jan 21, 2024 - C
jml - a useful web/cloud minimal unikernel distributed operating system
-
Updated
May 23, 2024 - C
Binary Lambda Calculus evaluation engine written in Malbolge.
-
Updated
May 29, 2022 - C
Bologna Optimal Higher-Order Machine, Version 1.1
-
Updated
Feb 17, 2017 - C
minimalist pure lazy functional programming language (pythonic haskell)
-
Updated
Feb 19, 2024 - 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."