lambda-calculus-evaluator
There are 0 repository under lambda-calculus-evaluator topic.
- Language:Rust 7
- Language:F# 5
n-alex-goncalves / TuringMachineLambdaCalculusInterpreter
A HTML/JS web application that converts a Turing machine to an untyped lambda calculus term (and vice versa) within a polynomial time complexity.
Language:JavaScript 4An iterative untyped lambda calculus interpreter written in JavaScript.
Language:JavaScript 3writeonly / catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Language:Scala 3Lemniscate-world / Robust-Lambda
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
Language:JavaScript 2dhodgson615 / Lambda-Calculus-Interpreter-C
The C port of the Python version of this repo
Language:C 1frangaren / c-lambda-calculus-interpreter
A lambda calculus interpreter written in C.
Language:C 0michael-0acf4 / lambda-calculus
Perform computation using purely abstract λ-functions
Language:JavaScripttpreviero / lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions
Language:Kotlin
