# Dépôts de martinescardo [Accueil](https://repo.masters-masters.com/) › [martinescardo](https://repo.masters-masters.com/owners/martinescardo) Les 3 dépôts GitHub publics de martinescardo, du plus étoilé au moins étoilé : étoiles, langage et rang de chaque carte RepoMasters. ## Dépôts de martinescardo 3 dépôts publics de martinescardo au catalogue, du plus étoilé au moins étoilé. - [martinescardo/HoTTEST-Summer-School · ★ 341 · TeX · Alpha](https://repo.masters-masters.com/repos/martinescardo/HoTTEST-Summer-School) - [martinescardo/TypeTopology · ★ 288 · Agda · Alpha](https://repo.masters-masters.com/repos/martinescardo/TypeTopology) - [martinescardo/HoTT-UF-Agda-Lecture-Notes · ★ 238 · Agda · Prototype](https://repo.masters-masters.com/repos/martinescardo/HoTT-UF-Agda-Lecture-Notes) ## Voir martinescardo sur GitHub - [https://github.com/martinescardo](https://github.com/martinescardo) --- Données : GitHub