# GitHub repos by pigworker [Home](https://repo.masters-masters.com/en) › [pigworker](https://repo.masters-masters.com/en/owners/pigworker) All 2 public GitHub repos by pigworker in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by pigworker 2 public repos by pigworker in the catalog, most starred first. - [pigworker/CS410-17 · ★ 265 · Agda · Alpha](https://repo.masters-masters.com/en/repos/pigworker/CS410-17) - [pigworker/MetaprogAgda · ★ 114 · Prototype](https://repo.masters-masters.com/en/repos/pigworker/MetaprogAgda) ## See pigworker on GitHub - [https://github.com/pigworker](https://github.com/pigworker) --- Data: GitHub