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