# GitHub repos by PatrickMassot [Home](https://repo.masters-masters.com/en) › [PatrickMassot](https://repo.masters-masters.com/en/owners/PatrickMassot) All 3 public GitHub repos by PatrickMassot in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by PatrickMassot 3 public repos by PatrickMassot in the catalog, most starred first. - [PatrickMassot/GlimpseOfLean · ★ 428 · Lean · Alpha](https://repo.masters-masters.com/en/repos/PatrickMassot/GlimpseOfLean) - [PatrickMassot/leanblueprint · ★ 399 · Python · Alpha](https://repo.masters-masters.com/en/repos/PatrickMassot/leanblueprint) - [PatrickMassot/verbose-lean4 · ★ 163 · Lean · Prototype](https://repo.masters-masters.com/en/repos/PatrickMassot/verbose-lean4) ## See PatrickMassot on GitHub - [https://github.com/PatrickMassot](https://github.com/PatrickMassot) --- Data: GitHub