PrototypeCommon
larrytheliquid/Lemmachine
REST'ful web framework in Agda
- Owner
- larrytheliquid (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 4
- Language
- Haskell
- License
- MIT
- Created
- 2010
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by larrytheliquid
All 2 repos by larrytheliquid- larrytheliquid/dataflowStars: 124RubyPrototype
Nearby in Haskell
All Haskell repos- abailly/aws-lambda-haskellStars: 135HaskellPrototype
- channable/icepeakStars: 135HaskellPrototype
- yaxu/feedforwardStars: 135HaskellPrototype
- MarcWeber/hasktagsStars: 135HaskellPrototype
- ajhc/ajhcStars: 135HaskellPrototype
- frasertweedale/hs-joseStars: 135HaskellPrototype