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