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