# GitHub repos by gallais [Home](https://repo.masters-masters.com/en) › [gallais](https://repo.masters-masters.com/en/owners/gallais) All 2 public GitHub repos by gallais in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by gallais 2 public repos by gallais in the catalog, most starred first. - [gallais/agdarsec · ★ 138 · Agda · Prototype](https://repo.masters-masters.com/en/repos/gallais/agdarsec) - [gallais/idris-tparsec · ★ 100 · Idris · Prototype](https://repo.masters-masters.com/en/repos/gallais/idris-tparsec) ## See gallais on GitHub - [https://github.com/gallais](https://github.com/gallais) --- Data: GitHub