Back
Repo
Masters
English
EN
Home
/
gallais
GitHub repos by gallais
2 public repos by gallais in the catalog, most starred first.
gallais/agdarsec
★ 138
Stars: 138
Agda
░
Prototype
gallais/idris-tparsec
★ 100
Stars: 100
Idris
░
Prototype
See gallais on GitHub