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
Programing language for simplifying creating and evaluating lambda calculus expressions.
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
A suite to evaluate and operate on λ-calculus expressions
Lambda Calculus Interpreter with Krivine Abstract Machine in Haskell
Interactive typed lambda calculus playground - parser, type checker, evaluator, proof-tree visualization, and Curry–Howard correspondence, plus a VS Code extension.
A lambda calculus interpreter written in C.
Perform computation using purely abstract λ-functions
To associate your repository with the lambda-calculus-evaluator topic, visit your repo's landing page and select "manage topics."