Badges

Hand-coded with love, bugs, and dreams bybrought to you by @maslianok

/seewoo5

Badges

Overview
Ranks
Repositories
Languages

Seewoo Lee

@seewoo5

🇺🇸 Berkeley, CA

Profile age: over 6 years

Updated 9 days ago

44 followers • 58 following

Contacts

https://seewoo5.github.io

in/lee-seewoo-857062171

Repositories

Archived

88

15

updated about 1 year ago • age over 5 years

Python100.0%

awesome-number-theory

30

6

updated almost 3 years ago • age almost 3 years

awesome-ai-for-math

16

5

updated 18 days ago • age about 2 months

8

1

updated 10 months ago • age over 2 years

Lean97.6%

Dockerfile2.4%

4

0

updated over 1 year ago • age over 1 year

Jupyter Notebook100.0%

1

0

updated 11 months ago • age over 3 years

TeX100.0%

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
fhe-org.github.io
1 PR +1-1
CSS
65
39
spiderweb
~8 PRs +624-170
Jupyter Notebook
1
1
2023
sage
1 PR +72-0
Python
2,018
674
193
SpiderTracker
2 PRs +39,539-14,085
Jupyter Notebook
0
0
2022
fhe-org.github.io
1 PR +1-0
CSS
65
39