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