# GitHub repos by HoTT [Home](https://repo.masters-masters.com/en) › [HoTT](https://repo.masters-masters.com/en/owners/HoTT) All 4 public GitHub repos by HoTT in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by HoTT 4 public repos by HoTT in the catalog, most starred first. - [HoTT/book · ★ 2,175 · TeX · RC](https://repo.masters-masters.com/en/repos/HoTT/book) - [HoTT/Coq-HoTT · ★ 1,407 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/HoTT/Coq-HoTT) - [HoTT/HoTT-Agda · ★ 442 · Agda · Alpha](https://repo.masters-masters.com/en/repos/HoTT/HoTT-Agda) - [HoTT/EPIT-2020 · ★ 110 · TeX · Prototype](https://repo.masters-masters.com/en/repos/HoTT/EPIT-2020) ## See HoTT on GitHub - [https://github.com/HoTT](https://github.com/HoTT) --- Data: GitHub