GitHub topics: untyped-lambda-calculus
dhodgson615/Lambda-Calculus-Interpreter-C
The C port of the Python version of this repo
Language: C - Size: 257 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0
WilliamRagstad/lambda_calc
A simple implementation of the untyped lambda calculus
Language: Rust - Size: 77.1 KB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
alensugimoto/lambdac
A call-by-value interpreter for the untyped lambda calculus written in Java.
Language: Java - Size: 255 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
Language: Scala - Size: 1.42 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 12 - Forks: 1
eownerdead/slambda
λ Untyped Lambda Calculus Evaluator
Language: Haskell - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
gurbaaz27/cs350a-homework-exercises
functional, lambda-calculus and object-oriented programming homework assignments
Language: Ruby - Size: 590 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0
ltics/utlclj
some stuff about utlc written in clojure
Language: Clojure - Size: 156 KB - Last synced at: 10 months ago - Pushed at: about 10 years ago - Stars: 1 - Forks: 0
lambduli/lambdas
REPL for various lambda calculi.
Language: Haskell - Size: 112 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Bubbler-4/StepULC
Efficient and single-steppable ULC evaluation algorithm
Language: Haskell - Size: 10.7 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 1
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 3 - Forks: 1
