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