Pure untyped lambda calculus in safe Rust.
Hypermedia-driven lambda calculus evaluator. Yes.
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
An iterative untyped lambda calculus interpreter written in JavaScript.
Programing language for simplifying creating and evaluating lambda calculus expressions.
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
The C port of the Python version of this repo
A suite to evaluate and operate on λ-calculus expressions
A lambda calculus interpreter written in C.
Perform computation using purely abstract λ-functions
Add a description, image, and links to the lambda-calculus-evaluator topic page so that developers can more easily learn about it.
To associate your repository with the lambda-calculus-evaluator topic, visit your repo's landing page and select "manage topics."