# GitHub repos by AlexKontorovich [Home](https://repo.masters-masters.com/en) › [AlexKontorovich](https://repo.masters-masters.com/en/owners/AlexKontorovich) All 2 public GitHub repos by AlexKontorovich in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by AlexKontorovich 2 public repos by AlexKontorovich in the catalog, most starred first. - [AlexKontorovich/PrimeNumberTheoremAnd · ★ 351 · Lean · Alpha](https://repo.masters-masters.com/en/repos/AlexKontorovich/PrimeNumberTheoremAnd) - [AlexKontorovich/2025EuclideanGeometryCourse · ★ 104 · Prototype](https://repo.masters-masters.com/en/repos/AlexKontorovich/2025EuclideanGeometryCourse) ## See AlexKontorovich on GitHub - [https://github.com/AlexKontorovich](https://github.com/AlexKontorovich) --- Data: GitHub