# GitHub repos by UniMath [Home](https://repo.masters-masters.com/en) › [UniMath](https://repo.masters-masters.com/en/owners/UniMath) All 5 public GitHub repos by UniMath in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by UniMath 5 public repos by UniMath in the catalog, most starred first. - [UniMath/UniMath · ★ 1,022 · Rocq Prover · Beta](https://repo.masters-masters.com/en/repos/UniMath/UniMath) - [UniMath/SymmetryBook · ★ 453 · HTML · Alpha](https://repo.masters-masters.com/en/repos/UniMath/SymmetryBook) - [UniMath/agda-unimath · ★ 318 · Agda · Alpha](https://repo.masters-masters.com/en/repos/UniMath/agda-unimath) - [UniMath/Foundations · ★ 247 · Coq · Prototype](https://repo.masters-masters.com/en/repos/UniMath/Foundations) - [UniMath/TypeTheory · ★ 122 · Rocq Prover · Prototype](https://repo.masters-masters.com/en/repos/UniMath/TypeTheory) ## See UniMath on GitHub - [https://github.com/UniMath](https://github.com/UniMath) --- Data: GitHub