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