# GitHub repos by teorth

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

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

All 7 public GitHub repos by teorth in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by teorth

7 public repos by teorth in the catalog, most starred first.

- [teorth/analysis · ★ 1,980 · Lean · Beta](https://repo.masters-masters.com/en/repos/teorth/analysis)
- [teorth/erdosproblems · ★ 881 · Python · Beta](https://repo.masters-masters.com/en/repos/teorth/erdosproblems)
- [teorth/equational\_theories · ★ 565 · Lean · Alpha](https://repo.masters-masters.com/en/repos/teorth/equational_theories)
- [teorth/optimizationproblems · ★ 387 · Python · Alpha](https://repo.masters-masters.com/en/repos/teorth/optimizationproblems)
- [teorth/estimates · ★ 343 · JavaScript · Alpha](https://repo.masters-masters.com/en/repos/teorth/estimates)
- [teorth/pfr · ★ 246 · Lean · Prototype](https://repo.masters-masters.com/en/repos/teorth/pfr)
- [teorth/QED · ★ 127 · Prototype](https://repo.masters-masters.com/en/repos/teorth/QED)

## See teorth on GitHub

- [https://github.com/teorth](https://github.com/teorth)

---
Data: GitHub