Rankings
Badges
/
jalpuim
Rankings
Badges
Overview
Ranks
Repositories
Languages
João Alpuim
@jalpuim
Refresh
Open GitHub
🇬🇧 Brighton, UK
Profile age: about 13 years
Updated 7 days ago
5 followers • 1 following
Language Ranks Breakdown
Global
United Kingdom
Coq
Advanced 4
2 stars
to reach Advanced 5
Position: 229
/
1.4K
Language Score: 10
Top 20% of all ranked profiles
This month change:
↑1
Haskell
Beginner 4
2 stars
to reach Beginner 5
Position: 5,787
/
9.1K
Language Score: 2
This month change:
↓15
Yacc
Adept 2
1 star
to reach Adept 3
Position: 2,278
/
5.5K
Language Score: 1
Top 50% of all ranked profiles
This month change:
↓102
Logos
Beginner 3
1 star
to reach Beginner 4
Position: 1,177
/
1.6K
Language Score: 1
This month change:
↓1
