Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: lambda-calculus-evaluator
writeonly/catculator
Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries
Language: Scala - Size: 165 KB - Last synced: 6 days ago - Pushed: 7 days ago - Stars: 3 - Forks: 0
Carnagion/lamb
Pure untyped lambda calculus in safe Rust.
Language: Rust - Size: 60.5 KB - Last synced: about 6 hours ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0
afmika/lambda-calculus
Perform computation using purely abstract λ-functions
Language: JavaScript - Size: 2.93 KB - Last synced: 4 months ago - Pushed: 9 months ago - Stars: 2 - 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: 10 months ago - Pushed: 10 months ago - Stars: 3 - Forks: 1
n-alex-goncalves/Lambda-Calculus-Interpreter
An iterative untyped lambda calculus interpreter written in JavaScript.
Language: JavaScript - Size: 1.79 MB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0
frangaren/c-lambda-calculus-interpreter
A lambda calculus interpreter written in C.
Language: C - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: over 6 years 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: 3 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
einarwh/hyperlamb
Hypermedia-driven lambda calculus evaluator. Yes.
Language: F# - Size: 145 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 3 - Forks: 2