# GitHub repos by type-theory

<https://repo.masters-masters.com/en/owners/type-theory>

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

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

## GitHub repos by type-theory

1 public repo by type-theory in the catalog, most starred first.

- [type-theory/type-theory-study-group · ★ 164 · Prototype](https://repo.masters-masters.com/en/repos/type-theory/type-theory-study-group)

## See type-theory on GitHub

- [https://github.com/type-theory](https://github.com/type-theory)

---
Data: GitHub