Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: untyped-lambda-calculus
lenguyenthanh/compilers
A place for me to learn/ experiment with interpreters/compilers
Language: Scala - Size: 1.41 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 11 - Forks: 1
eownerdead/slambda
λ Untyped Lambda Calculus Evaluator
Language: Haskell - Size: 5.86 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
gurbaaz27/cs350a-homework-exercises
functional, lambda-calculus and object-oriented programming homework assignments
Language: Ruby - Size: 590 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
ltics/utlclj
some stuff about utlc written in clojure
Language: Clojure - Size: 156 KB - Last synced: 10 months ago - Pushed: over 8 years ago - Stars: 1 - 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
Bubbler-4/StepULC
Efficient and single-steppable ULC evaluation algorithm
Language: Haskell - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 15 - Forks: 1
hediturki123/LambdaCalculus
Simply typed and advanced structures in lambda calculus
Language: Coq - Size: 146 KB - Last synced: 11 months ago - Pushed: about 4 years ago - Stars: 3 - Forks: 1