 |
VOOZH | about |
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.
The C port of the Python version of this repo
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
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."