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