n-alex-goncalves / TuringMachineLambdaCalculusInterpreter Star 4 Code Issues Pull requests A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity. javascript lambda-calculus turing-machine turing-machine-simulator lambda-calculus-evaluator reduction-strategies Updated Aug 1, 2023 JavaScript
n-alex-goncalves / LambdaCalculusInterpreter Star 2 Code Issues Pull requests An iterative untyped lambda calculus interpreter written in JavaScript. javascript parser lambda interpreter lambda-calculus interpreters lambda-calculus-evaluator lambda-calculus-interpreter Updated Aug 1, 2023 JavaScript
Lemniscate-world / Robust-Lambda Star 2 Code Issues Pull requests Building a functional untyped lambda calculus interpreter with a visual reduction tracer. lambda lambda-calculus formal-languages lambda-calculus-evaluator Updated Jan 29, 2025 JavaScript
michael-0acf4 / lambda-calculus Star 0 Code Issues Pull requests Perform computation using purely abstract λ-functions javascript lambda birds lambda-calculus church-encoding combinators lambda-calculus-evaluator Updated Jul 7, 2024 JavaScript