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