A human readable quasi-concatenative programming language
minimalist pure lazy functional programming language (pythonic haskell)
Bologna Optimal Higher-Order Machine, Version 1.1
A Lévy-optimal lambda calculus reducer with a backdoor to C
Binary Lambda Calculus evaluation engine written in Malbolge.
✨ File format and optimizer for programs encoded in binary lambda calculus
jml - a useful web/cloud minimal unikernel distributed operating system
🧜♀️ The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
lambda calculus interpreter
Lambda calculus expression simplifier repl
This is the first and official compiler for the LambdaLang programming language.
The C port of the Python version of this repo
A Lambda Calculus interpreter implemented in C.
Experimental interpreter for untyped lambda calculus
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
A C implementation of a Pure Lambda Calculus interpreter
Convert BLC to other BLC encodings!
Add a description, image, and links to the lambda-calculus topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus topic, visit your repo's landing page and select "manage topics."