# Dépôts de PatrickMassot [Accueil](https://repo.masters-masters.com/) › [PatrickMassot](https://repo.masters-masters.com/owners/PatrickMassot) Les 3 dépôts GitHub publics de PatrickMassot, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de PatrickMassot 3 dépôts publics de PatrickMassot au catalogue, du plus étoilé au moins étoilé. - [PatrickMassot/GlimpseOfLean · ★ 428 · Lean · Alpha](https://repo.masters-masters.com/repos/PatrickMassot/GlimpseOfLean) - [PatrickMassot/leanblueprint · ★ 399 · Python · Alpha](https://repo.masters-masters.com/repos/PatrickMassot/leanblueprint) - [PatrickMassot/verbose-lean4 · ★ 163 · Lean · Prototype](https://repo.masters-masters.com/repos/PatrickMassot/verbose-lean4) ## Voir PatrickMassot sur GitHub - [https://github.com/PatrickMassot](https://github.com/PatrickMassot) --- Données : GitHub