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