PrototypeCommon
gallais/agdarsec
Total Parser Combinators in Agda
- Owner
- gallais (personal account)
- Stars
- Stars: 138
- Forks
- Forks: 15
- Language
- Agda
- License
- GPL-3.0
- Created
- 2017
- Topics
- parser-combinatorsagda
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by gallais
All 2 repos by gallais- gallais/idris-tparsecStars: 100IdrisPrototype
Nearby in Agda
All Agda repos- copumpkin/categoriesStars: 154AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype
- wenkokke/schmittyStars: 110AgdaPrototype