# Dépôts de EgbertRijke [Accueil](https://repo.masters-masters.com/) › [EgbertRijke](https://repo.masters-masters.com/owners/EgbertRijke) Le dépôt GitHub public de EgbertRijke en carte à collectionner : étoiles, langage et rang dans RepoMasters, le jeu de cartes de l’open source. ## Dépôts de EgbertRijke 1 dépôt public de EgbertRijke au catalogue pour l’instant. - [EgbertRijke/HoTT-Intro · ★ 373 · Agda · Alpha](https://repo.masters-masters.com/repos/EgbertRijke/HoTT-Intro) ## Voir EgbertRijke sur GitHub - [https://github.com/EgbertRijke](https://github.com/EgbertRijke) --- Données : GitHub