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