PrototypeCommon
gallais/idris-tparsec
TParsec - Total Parser Combinators in Idris
- Owner
- gallais (personal account)
- Stars
- Stars: 100
- Forks
- Forks: 9
- Language
- Idris
- License
- GPL-3.0
- Created
- 2017
- Topics
- idrisparser-combinators
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by gallais
All 2 repos by gallais- gallais/agdarsecStars: 138AgdaPrototype
Nearby in Idris
All Idris repos- idris-hackers/idris-cryptoStars: 121IdrisPrototype
- joom/hezarfenStars: 119IdrisPrototype
- edwinb/SPLV20Stars: 116IdrisPrototype