# Dépôts de LeanModels [Accueil](https://repo.masters-masters.com/) › [LeanModels](https://repo.masters-masters.com/owners/LeanModels) Le dépôt GitHub public de LeanModels en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de LeanModels 1 dépôt public de LeanModels au catalogue pour l’instant. - [LeanModels/DFloat11 · ★ 665 · Python · Alpha](https://repo.masters-masters.com/repos/LeanModels/DFloat11) ## Voir LeanModels sur GitHub - [https://github.com/LeanModels](https://github.com/LeanModels) --- Données : GitHub