Rankings
Badges
/
thefundamentaltheor3m
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sidharth Hariharan
@thefundamentaltheor3m
Refresh
Open GitHub
🇺🇸 Pittsburgh, Pennsylvania, United States
Carnegie Mellon University
Profile age: over 5 years
Updated 1 day ago
23 followers • 71 following
Contacts
sidharthhariharan@cmu.edu
thefundamentaltheor3m.github.io/
in/sidharth-hariharan
the_fundamental_theor3m
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Influencer
#544,751
#2,110,045
#618,755
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
Sphere-Packing-Lean
26
16
7
updated 4 days ago • age over 1 year
Lean
83.1%
TeX
16.3%
HTML
0.3%
Ruby
0.1%
Shell
0.1%
Groups_of_ord_psq
1
0
updated over 1 year ago • age over 3 years
Lean
100.0%
Last Contributions
2023
MATH50003NumericalAnalysis2022-23
1 PR
+3
-2
Jupyter Notebook
54
107
2022
m1fexplained_lean3
1 PR
+30
-3
Lean
13
6
View all contributions
Latest Updates
23 Oct 2025
Followers Count:
21
23
25 Sep 2025
Followers Count:
20
21
27 Aug 2025
Followers Count:
19
20
13 Aug 2025
Company:
@ImperialCollegeLondon
Carnegie Mellon University
Email:
sidharth.hariharan21@imperial.ac.uk
sidharthhariharan@cmu.edu
Location:
Pittsburgh, Pennsylvania, United States
29 Jul 2025
Followers Count:
18
19
16 Jan 2025
First seen
Subscribe to thefundamentaltheor3m's GitHub rank updates in your messenger
WhatsApp
Telegram
