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