# GitHub repos by the1lab [Home](https://repo.masters-masters.com/en) › [the1lab](https://repo.masters-masters.com/en/owners/the1lab) The public GitHub repo by the1lab in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by the1lab 1 public repo by the1lab in the catalog, most starred first. - [the1lab/1lab · ★ 446 · Agda · Alpha](https://repo.masters-masters.com/en/repos/the1lab/1lab) ## See the1lab on GitHub - [https://github.com/the1lab](https://github.com/the1lab) --- Data: GitHub