← Back to Hall of Fame
🏆 Notable contributions
Popular open-source repos they've shipped to (commits + PRs)
Score breakdown
Account maturity10.0 / 10
Original project quality16.9 / 18
Contribution quality27.0 / 27
Ecosystem / maintenance impact17.2 / 20
Community influence8.0 / 8
Activity authenticity17.0 / 17
🛠 Featured work
Their own popular and pinned repositories
analysis⭐ 1.8K
A Lean companion to Analysis I
Leanerdosproblems⭐ 757
A community database for the problems on the erdosproblems.com site
Pythonequational_theories⭐ 531
A project to map out the relations between different equational theories of Magmas.
Leanestimates⭐ 339
Code to automatically prove or verify estimates in analysis
JavaScriptoptimizationproblems⭐ 315
A collection of optimization problems in mathematics
HTMLpfr⭐ 218
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Lean🧬 Stack & domains
Top languages
Lean53%
C24%
TeX8%
Python6%
JavaScript5%
TypeScript2%
🧬 Most similar developers
Closest profile, nearby score
🔥 Full roast
🔥 16 years on GitHub with 17 years of non-stop activity: your analysis repo has 1.8k stars and a 0.95 quality score as the official Lean companion to Terence Tao's textbook, you dropped 22 PRs into 3.5k