# GitHub repos by CMU-HoTT

<https://repo.masters-masters.com/en/owners/CMU-HoTT>

[Home](https://repo.masters-masters.com/en) › [CMU-HoTT](https://repo.masters-masters.com/en/owners/CMU-HoTT)

The public GitHub repo by CMU-HoTT in RepoMasters, the trading card game of open source: stars, language, tier and card.

## GitHub repos by CMU-HoTT

1 public repo by CMU-HoTT in the catalog, most starred first.

- [CMU-HoTT/scott · ★ 180 · Prototype](https://repo.masters-masters.com/en/repos/CMU-HoTT/scott)

## See CMU-HoTT on GitHub

- [https://github.com/CMU-HoTT](https://github.com/CMU-HoTT)

---
Data: GitHub