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