Rankings
Badges
/
febyeji
Rankings
Badges
Overview
Ranks
Repositories
Languages
Yeji Han
@febyeji
Refresh
Open GitHub
🇰🇷 Seoul, Korea
@snu-sf
Profile age: over 7 years
Updated 6 days ago
20 followers • 11 following
Contacts
yeji.han@sf.snu.ac.kr
https://yejihan.me/
@febyeji
Profile Overview
Global
South Korea
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Adept 4
Persona
Contributor
#1,080,831
#984,601
#701,211
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
fm-for-online-recommendation
7
2
updated about 1 year ago • age almost 6 years
Jupyter Notebook
96.9%
Python
3.1%
Perl
0.0%
Shell
0.0%
refinement-tutorial
0
0
updated about 1 year ago • age almost 2 years
Coq
99.4%
Makefile
0.6%
Last Contributions
2025
archsem
1 PR
+70
-37
Rocq Prover
11
2
casemate
2 PRs
+2,510
-2,177
C
7
3
2
sail-tiny-arm
1 PR
+4
-0
Rocq Prover
7
2
sflib
1 PR
+745
-158
Rocq Prover
2
9
sf-opam-coq-archive
~6 PRs
+98
-211
0
3
View all contributions
Latest Updates
21 Sep 2025
Following Count:
13
11
07 Sep 2025
Starred Repositories Count:
48
49
Followers Count:
19
20
Following Count:
11
13
23 Aug 2025
Starred Repositories Count:
46
48
11 Jul 2025
Starred Repositories Count:
45
46
26 Jun 2025
Twitter Username:
febyeji
Starred Repositories Count:
44
45
Social Accounts:
[object Object]
twitter: @febyeji
08 Jan 2025
First seen
Subscribe to febyeji's GitHub rank updates in your messenger
WhatsApp
Telegram
