Pure untyped lambda calculus in safe Rust.
-
Updated
Jan 23, 2023 - Rust
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
REPL for various lambda calculi.
An iterative untyped lambda calculus interpreter written in JavaScript.
Perform computation using purely abstract λ-functions
A lambda calculus interpreter written in C.
A suite to evaluate and operate on λ-calculus expressions
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."