Rankings
Badges
/
park-sewon
Rankings
Badges
Overview
Ranks
Repositories
Languages
Sewon Park
@park-sewon
Refresh
Open GitHub
🇯🇵 Kyoto, Japan
Kyoto University
Profile age: over 8 years
Updated 5 days ago
23 followers • 15 following
Contacts
Sewon@sewonpark.com
https://sewonpark.com
Profile Overview
Global
Japan
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 5
Persona
Influencer
#786,368
#2,158,334
#624,212
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
coq-clerical
6
1
updated over 1 year ago • age over 2 years
Coq
100.0%
iRRAM-Random
6
0
updated about 5 years ago • age over 7 years
C++
96.8%
C
3.2%
irram.sh
2
0
updated about 5 years ago • age over 7 years
Python
100.0%
Last Contributions
2025
rabbit
2 PRs
+4,063
-1,952
OCaml
3
2
2021
clerical
1 PR
+121
-31
OCaml
55
4
View all contributions
Latest Updates
25 Oct 2025
Followers Count:
25
23
05 Aug 2025
Followers Count:
23
25
18 Jan 2025
First seen
Subscribe to park-sewon's GitHub rank updates in your messenger
WhatsApp
Telegram
