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