Lambda Calculus Explorer
Summary
Lambda Calculus Explorer is an interactive web app for exploring untyped lambda calculus, offering multiple reduction strategies, a derivation tree, and a built-in tutorial with many examples. Built with Rust to WASM and featuring URL deep linking and keyboard navigation, it serves as a powerful educational tool for CS curricula.