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