PrototypeCommune
gallais/agdarsec
Total Parser Combinators in Agda
- Propriétaire
- gallais (compte personnel)
- Étoiles
- Étoiles : 138
- Forks
- Forks : 15
- Langage
- Agda
- Licence
- GPL-3.0
- Création
- 2017
- Sujets
- parser-combinatorsagda
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de gallais
Les 2 dépôts de gallais- gallais/idris-tparsecÉtoiles : 100IdrisPrototype
D’autres dépôts Agda
Tous les dépôts Agda- copumpkin/categoriesÉtoiles : 154AgdaPrototype
- thehottgame/TheHoTTGameÉtoiles : 141AgdaPrototype
- ice1000/BooksÉtoiles : 140AgdaPrototype
- UlfNorell/agda-preludeÉtoiles : 135AgdaPrototype
- HoTT-Intro/AgdaÉtoiles : 129AgdaPrototype
- wenkokke/schmittyÉtoiles : 110AgdaPrototype