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