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