Rankings
Badges
/
juda
Rankings
Badges
Overview
Ranks
Repositories
Languages
@juda
Refresh
Open GitHub
🇭🇰 Hong Kong
Profile age: almost 13 years
Updated 14 days ago
94 followers • 24 following
Contacts
judaplus@gmail.com
Organizations
Language Ranks Breakdown
Global
Hong Kong
Coq
Advanced 3
1 star
to reach Advanced 4
Position: 252
/
1.4K
Language Score: 9
Top 20% of all ranked profiles
Makefile
Beginner 4
1 star
to reach Beginner 5
Position: 92,150
/
144.7K
Language Score: 1
This month change:
↓312
