# GitHub repos by HoTT-Intro

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

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

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

## GitHub repos by HoTT-Intro

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

- [HoTT-Intro/Agda · ★ 129 · Agda · Prototype](https://repo.masters-masters.com/en/repos/HoTT-Intro/Agda)

## See HoTT-Intro on GitHub

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

---
Data: GitHub