PrototypeCommon
ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
- Owner
- ucsd-progsys (organization)
- Stars
- Stars: 194
- Forks
- Forks: 25
- Language
- Haskell
- License
- MIT
- Created
- 2017
- Topics
- lambda-calculusreductionhaskell-learninghaskell
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ucsd-progsys
All 3 repos by ucsd-progsys- ucsd-progsys/liquidhaskellStars: 1,338HaskellBeta
- ucsd-progsys/liquid-fixpointStars: 167HaskellPrototype
Nearby in Haskell
All Haskell repos- agda/cornelisStars: 195HaskellPrototype
- mikeizbicki/HerbiePluginStars: 194HaskellPrototype
- alpacaaa/quad-ciStars: 194HaskellPrototype
- corsis/PortFusionStars: 193HaskellPrototype
- channable/alfred-margaretStars: 193HaskellPrototype