Rankings
Badges
/
paulcadman
Rankings
Badges
Overview
Ranks
Repositories
Languages
Paul Cadman
@paulcadman
Refresh
Open GitHub
🇬🇧 London
Profile age: over 16 years
Updated 28 days ago
57 followers • 43 following
Language Ranks Breakdown
Global
United Kingdom
Racket
Expert 3
4 stars
to reach Expert 4
Position: 130
/
1.5K
Language Score: 41
Top 9% of all ranked profiles
Coq
Advanced 3
2 stars
to reach Advanced 4
Position: 282
/
1.4K
Language Score: 8
Top 20% of all ranked profiles
Lean
Adept 2
2 stars
to reach Adept 3
Position: 276
/
642
Language Score: 7
Top 50% of all ranked profiles
This month change:
↓2
Haskell
Adept 1
1 star
to reach Adept 2
Position: 4,130
/
9.1K
Language Score: 6
Top 50% of all ranked profiles
This month change:
↓7
Dhall
Adept 1
1 star
to reach Adept 2
Position: 173
/
370
Language Score: 2
Top 50% of all ranked profiles
C
Beginner 3
1 star
to reach Beginner 4
Position: 187,323
/
239.8K
Language Score: 1
This month change:
↓582
Rust
Beginner 2
1 star
to reach Beginner 3
Position: 45,415
/
51.2K
Language Score: 1
This month change:
↓427
CSS
Beginner 4
1 star
to reach Beginner 5
Position: 312,977
/
522K
Language Score: 1
This month change:
↓1,288
Makefile
Beginner 4
1 star
to reach Beginner 5
Position: 98,549
/
144.7K
Language Score: 1
This month change:
↓333
