Here are
24 public repositories
matching this topic...
A human readable quasi-concatenative programming language
minimalist pure lazy functional programming language (pythonic haskell)
Bologna Optimal Higher-Order Machine, Version 1.1
Binary Lambda Calculus evaluation engine written in Malbolge.
✨ File format and optimizer for programs encoded in binary lambda calculus
A Lévy-optimal lambda calculus reducer with a backdoor to C
jml - a useful web/cloud minimal unikernel distributed operating system
🧜♀️ The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
Lambda calculus REPL written in C
lambda calculus interpreter
Lambda calculus expression simplifier repl
This is the first and official compiler for the LambdaLang programming language.
A repl to explore lambda calculus
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
Experimental interpreter for untyped lambda calculus
A Lambda Calculus interpreter implemented in C.
A C implementation of a Pure Lambda Calculus interpreter
minimal lambda interpreter in c99
A lambda calculus interpreter written in 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.
Curate this topic
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."
Learn more
You can’t perform that action at this time.