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 6 days ago
23 followers • 15 following
Contacts
Sewon@sewonpark.com
https://sewonpark.com
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%
Contributions
2025
rabbit
2 PRs
+4,063
-1,952
OCaml
3
2
2021
clerical
1 PR
+121
-31
OCaml
55
4
