# Dépôts de the1lab [Accueil](https://repo.masters-masters.com/) › [the1lab](https://repo.masters-masters.com/owners/the1lab) Le dépôt GitHub public de the1lab en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de the1lab 1 dépôt public de the1lab au catalogue pour l’instant. - [the1lab/1lab · ★ 446 · Agda · Alpha](https://repo.masters-masters.com/repos/the1lab/1lab) ## Voir the1lab sur GitHub - [https://github.com/the1lab](https://github.com/the1lab) --- Données : GitHub