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