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