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