PrototypeCommon
ziman/lightyear
Parser combinators for Idris
- Owner
- ziman (personal account)
- Stars
- Stars: 243
- Forks
- Forks: 43
- Language
- Idris
- License
- None
- Created
- 2013
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ziman
All 3 repos by ziman- ziman/idris-pyStars: 124HaskellPrototype
- ziman/rarcrackStars: 116CPrototype
Nearby in Idris
All Idris repos- joaomilho/awesome-idrisStars: 414IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha
- statebox/idris-ctStars: 272IdrisAlpha
- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype
- idris-community/idris2-lspStars: 205IdrisPrototype