Rankings
Badges
/
teorth
Rankings
Badges
Overview
Ranks
Repositories
Languages
@teorth
Refresh
Open GitHub
null
Profile age: over 15 years
Updated about 1 hour ago
2,315 followers • 0 following
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 3
Persona
Influencer
#13,936
#1,772,800
#2,469
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
analysis
1,196
153
updated 5 days ago • age 4 months
Lean
99.2%
Shell
0.4%
Python
0.2%
CSS
0.1%
equational_theories
428
89
3
updated about 17 hours ago • age about 1 year
Lean
41.7%
C
41.3%
TeX
9.2%
Python
4.7%
JavaScript
3.2%
estimates
308
24
updated 3 months ago • age 5 months
JavaScript
52.9%
TypeScript
24.5%
Python
22.5%
HTML
0.2%
pfr
189
41
5
updated 28 days ago • age almost 2 years
Lean
85.2%
TeX
13.8%
Python
0.6%
HTML
0.2%
CSS
0.1%
QED
104
13
updated 8 months ago • age about 7 years
View all 16 repositories
Last Contributions
2025
PrimeNumberTheoremAnd
3 PRs
+118
-15
Lean
188
39
MathBases
1 PR
+77
-0
HTML
24
13
2024
PrimeNumberTheoremAnd
~17 PRs
+74
-11
Lean
188
39
2019
dbn_upper_bound
~19 PRs
+265
-270
C
13
12
2018
dbn_upper_bound
~55 PRs
+1,430
-1,500
C
13
12
View all contributions
Latest Updates
03 Oct 2025
Followers Count:
2,292
2,315
19 Sep 2025
Followers Count:
2,253
2,292
04 Sep 2025
Followers Count:
2,207
2,253
21 Aug 2025
Followers Count:
2,158
2,207
07 Aug 2025
Followers Count:
2,090
2,158
06 Jan 2025
First seen
Subscribe to teorth's GitHub rank updates in your messenger
WhatsApp
Telegram
