Rankings
Badges
/
seewoo5
Rankings
Badges
Overview
Ranks
Repositories
Languages
Seewoo Lee
@seewoo5
Refresh
Open GitHub
🇺🇸 Berkeley, CA
Profile age: over 6 years
Updated 9 days ago
44 followers • 58 following
Contacts
https://seewoo5.github.io
@antimath3
in/lee-seewoo-857062171
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 5
Persona
Creator
#180,400
#1,051,206
#311,854
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
KT
Archived
88
15
updated about 1 year ago • age over 5 years
Python
100.0%
awesome-number-theory
30
6
updated almost 3 years ago • age almost 3 years
awesome-ai-for-math
16
5
updated 17 days ago • age about 2 months
lean-poly-abc
8
1
updated 10 months ago • age over 2 years
Lean
97.6%
Dockerfile
2.4%
posqmf
4
0
updated over 1 year ago • age over 1 year
Jupyter Notebook
100.0%
View all 6 repositories
Last Contributions
2025
sage
2 PRs
+3
-3
Python
2,018
674
193
formal-conjectures
2 PRs
+87
-2
Lean
649
85
erdosproblems
2 PRs
+2
-2
Python
86
24
Sphere-Packing-Lean
~9 PRs
+806
-812
Lean
26
16
7
2024
sage
1 PR
+82
-16
Python
2,018
674
193
View all contributions
Latest Updates
16 Oct 2025
Followers Count:
45
44
18 Sep 2025
Followers Count:
43
45
19 Aug 2025
Followers Count:
38
43
04 Aug 2025
Followers Count:
37
38
17 Jan 2025
First seen
Subscribe to seewoo5's GitHub rank updates in your messenger
WhatsApp
Telegram
