# GitHub repos by martinescardo [Home](https://repo.masters-masters.com/en) › [martinescardo](https://repo.masters-masters.com/en/owners/martinescardo) All 3 public GitHub repos by martinescardo in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by martinescardo 3 public repos by martinescardo in the catalog, most starred first. - [martinescardo/HoTTEST-Summer-School · ★ 341 · TeX · Alpha](https://repo.masters-masters.com/en/repos/martinescardo/HoTTEST-Summer-School) - [martinescardo/TypeTopology · ★ 288 · Agda · Alpha](https://repo.masters-masters.com/en/repos/martinescardo/TypeTopology) - [martinescardo/HoTT-UF-Agda-Lecture-Notes · ★ 238 · Agda · Prototype](https://repo.masters-masters.com/en/repos/martinescardo/HoTT-UF-Agda-Lecture-Notes) ## See martinescardo on GitHub - [https://github.com/martinescardo](https://github.com/martinescardo) --- Data: GitHub