Projects in Awesome Lists tagged with lambda-calculus-evaluator
A curated list of projects in awesome lists tagged with lambda-calculus-evaluator .
https://github.com/Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
functional-programming interpreter lambda-calculus lambda-calculus-evaluator lambda-calculus-interpreter mathematics parser programming-language-development programming-language-theory repl
Last synced: 09 May 2025
https://github.com/lemniscate-world/robust-lambda
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
formal-languages lambda lambda-calculus lambda-calculus-evaluator
Last synced: 25 Mar 2025
