Topic: "lambda-calculus-evaluator"
Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
Language: Rust - Size: 60.5 KB - Last synced at: 24 days ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0
writeonly/catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Language: Scala - Size: 165 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0
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 - Size: 9.71 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 1
einarwh/hyperlamb
Hypermedia-driven lambda calculus evaluator. Yes.
Language: F# - Size: 145 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 2
n-alex-goncalves/Lambda-Calculus-Interpreter
An iterative untyped lambda calculus interpreter written in JavaScript.
Language: JavaScript - Size: 1.79 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
Lemniscate-world/Robust-Lambda
Building a functional untyped lambda calculus interpreter with a visual reduction tracer.
Language: JavaScript - Size: 5.86 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
michael-0acf4/lambda-calculus 📦
Perform computation using purely abstract λ-functions
Language: JavaScript - Size: 4.88 KB - Last synced at: 13 days ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
tpreviero/lambda-calculus-evaluator
A suite to evaluate and operate on λ-calculus expressions
Language: Kotlin - Size: 12.7 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
frangaren/c-lambda-calculus-interpreter
A lambda calculus interpreter written in C.
Language: C - Size: 37.1 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
