Topic: "untyped-lambda-calculus"
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: about 4 years ago - Stars: 15 - Forks: 1
lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
Language: Scala - Size: 1.42 MB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 12 - Forks: 1
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1
eownerdead/slambda
λ Untyped Lambda Calculus Evaluator
Language: Haskell - Size: 5.86 KB - Last synced at: 5 days ago - Pushed at: almost 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: 5 months ago - Pushed at: over 2 years 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: over 4 years ago - Stars: 1 - Forks: 0
ltics/utlclj
some stuff about utlc written in clojure
Language: Clojure - Size: 156 KB - Last synced at: 6 months ago - Pushed at: almost 10 years 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: 9 days ago - Pushed at: 25 days ago - Stars: 0 - 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: 11 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
