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