# GitHub repos by digama0 [Home](https://repo.masters-masters.com/en) › [digama0](https://repo.masters-masters.com/en/owners/digama0) All 3 public GitHub repos by digama0 in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by digama0 3 public repos by digama0 in the catalog, most starred first. - [digama0/mm0 · ★ 422 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/mm0) - [digama0/lean4lean · ★ 270 · Lean · Alpha](https://repo.masters-masters.com/en/repos/digama0/lean4lean) - [digama0/lean-type-theory · ★ 174 · TeX · Prototype](https://repo.masters-masters.com/en/repos/digama0/lean-type-theory) ## See digama0 on GitHub - [https://github.com/digama0](https://github.com/digama0) --- Data: GitHub