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 3 days ago
232 followers • 2 following
Contacts
http://www.cs.bham.ac.uk/~mhe/
@MartinEscardo@mathstodon.xyz
Language Ranks Breakdown
Global
United Kingdom
Agda
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 566
Position: 2
/
54
TeX
Legend 1
164 stars
to reach Legend 2
Position: 19
/
2.1K
Language Score: 204
Top 1% of all ranked profiles
HTML
Expert 5
1 star
to reach Master 1
Position: 1,516
/
25.1K
Language Score: 19
Top 7% of all ranked profiles
This month change:
↓9
OCaml
Adept 5
3 stars
to reach Advanced 1
Position: 71
/
261
Language Score: 18
Top 30% of all ranked profiles
Haskell
Adept 5
4 stars
to reach Advanced 1
Position: 196
/
680
Language Score: 10
Top 30% of all ranked profiles
This month change:
↑1
Shell
Adept 4
1 star
to reach Adept 5
Position: 4,738
/
14.7K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↓16
CSS
Adept 2
1 star
to reach Adept 3
Position: 8,762
/
21.5K
Language Score: 1
Top 50% of all ranked profiles
This month change:
↓27
Makefile
Beginner 5
1 star
to reach Adept 1
Position: 3,133
/
6.2K
Language Score: 1
This month change:
↓2
