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