Rankings
Badges
/
zilinc
Rankings
Badges
Overview
Ranks
Repositories
Languages
Zilin Chen
@zilinc
Refresh
Open GitHub
🇸🇬 Singapore
Profile age: over 11 years
Updated 12 days ago
10 followers • 8 following
Contacts
zilin.chen@ntu.edu.sg
zilinc.github.io
Language Ranks Breakdown
Global
Singapore
Makefile
Adept 4
1 star
to reach Adept 5
Position: 48,157
/
144.4K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↓105
Coq
Adept 1
1 star
to reach Adept 2
Position: 691
/
1.4K
Language Score: 2
Top 50% of all ranked profiles
This month change:
↓1
Agda
Beginner 1
1 star
to reach Beginner 2
Position: 443
/
457
Language Score: 1
