Rankings
Badges
/
martinescardo
Rankings
Badges
Overview
Ranks
Repositories
Languages
Martin Escardo
@martinescardo
Refresh
Open GitHub
🇬🇧 United Kingdom
University of Birmingham
Profile age: over 12 years
Updated 2 days ago
232 followers • 2 following
Contacts
http://www.cs.bham.ac.uk/~mhe/
@MartinEscardo@mathstodon.xyz
Language Ranks Breakdown
Global
United Kingdom
Agda
Legend 4
136 stars
to reach Legend 5
Position: 2
/
457
Language Score: 566
Top 0.5% of all ranked profiles
TeX
Elite 5
47 stars
to reach Legend 1
Position: 509
/
40.6K
Language Score: 204
Top 2% of all ranked profiles
This month change:
↓4
HTML
Expert 4
1 star
to reach Expert 5
Position: 44,711
/
612K
Language Score: 19
Top 8% of all ranked profiles
This month change:
↓320
OCaml
Advanced 1
2 stars
to reach Advanced 2
Position: 790
/
3.4K
Language Score: 18
Top 30% of all ranked profiles
Haskell
Adept 4
3 stars
to reach Adept 5
Position: 3,055
/
9.1K
Language Score: 10
Top 40% of all ranked profiles
This month change:
↓3
Shell
Adept 2
1 star
to reach Adept 3
Position: 140,304
/
335.8K
Language Score: 2
Top 50% of all ranked profiles
This month change:
↓1,010
CSS
Beginner 5
1 star
to reach Adept 1
Position: 300,315
/
517.1K
Language Score: 1
This month change:
↓1,773
Makefile
Beginner 4
1 star
to reach Beginner 5
Position: 94,997
/
143.6K
Language Score: 1
This month change:
↓410
