An open API service providing repository metadata for many open source software ecosystems.

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: 7 days ago - Pushed at: about 2 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: 4 months 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: 4 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: 1 day ago - Pushed at: 3 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: 10 months ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0