Rankings
Badges
/
jonsterling
Rankings
Badges
Overview
Ranks
Repositories
Languages
Jon Sterling
@jonsterling
Refresh
Open GitHub
🇬🇧 Cambridge, Cambridgeshire, UK
University of Cambridge
Profile age: over 16 years
Updated 6 days ago
779 followers • 364 following
Contacts
http://www.jonmsterling.com
@jonmsterling@mathstodon.xyz
Organizations
Language Ranks Breakdown
Global
United Kingdom
Standard ML
Legend 1
137 stars
to reach Legend 2
Position: 11
/
1.1K
Language Score: 153
Top 1% of all ranked profiles
Swift
Expert 5
38 stars
to reach Master 1
Position: 3,243
/
47.5K
Language Score: 150
Top 7% of all ranked profiles
This month change:
↓11
OCaml
Master 3
12 stars
to reach Master 4
Position: 149
/
3.4K
Language Score: 149
Top 5% of all ranked profiles
Agda
Master 3
6 stars
to reach Master 4
Position: 21
/
457
Language Score: 109
Top 5% of all ranked profiles
Objective-C
Expert 5
9 stars
to reach Master 1
Position: 4,509
/
72.3K
Language Score: 99
Top 7% of all ranked profiles
This month change:
↓4
Shell
Elite 1
3 stars
to reach Elite 2
Position: 8,944
/
339.3K
Language Score: 94
Top 3% of all ranked profiles
This month change:
↓72
TeX
Elite 1
8 stars
to reach Elite 2
Position: 1,132
/
40.9K
Language Score: 88
Top 3% of all ranked profiles
This month change:
↓4
Haskell
Expert 2
5 stars
to reach Expert 3
Position: 905
/
9.1K
Language Score: 64
Top 10% of all ranked profiles
This month change:
↓3
Lean
Expert 3
11 stars
to reach Expert 4
Position: 57
/
642
Language Score: 54
Top 9% of all ranked profiles
Coq
Master 5
6 stars
to reach Elite 1
Position: 50
/
1.4K
Language Score: 48
Top 4% of all ranked profiles
This month change:
↓1
