Rankings
Badges
/
pigworker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Conor McBride
@pigworker
Refresh
Open GitHub
🇬🇧 Glasgow
Profile age: over 12 years
Updated 12 days ago
555 followers • 2 following
Contacts
conor@strictlypositive.org
http://strictlypositive.org
Language Ranks Breakdown
Global
United Kingdom
Agda
Legend 5
Position: 1
/
457
Language Score: 702
Top 0.5% of all ranked profiles
Haskell
Master 5
38 stars
to reach Elite 1
Position: 315
/
9K
Language Score: 220
Top 4% of all ranked profiles
TeX
Elite 4
3 stars
to reach Elite 5
Position: 571
/
40.3K
Language Score: 179
Top 2% of all ranked profiles
HTML
Advanced 5
3 stars
to reach Expert 1
Position: 84,091
/
607.6K
Language Score: 8
Top 20% of all ranked profiles
Emacs Lisp
Adept 2
3 stars
to reach Adept 3
Position: 3,441
/
7.9K
Language Score: 7
Top 50% of all ranked profiles
Makefile
Advanced 5
2 stars
to reach Expert 1
Position: 20,270
/
142.6K
Language Score: 4
Top 20% of all ranked profiles
JavaScript
Beginner 5
2 stars
to reach Adept 1
Position: 351,494
/
702.3K
Language Score: 2
BibTeX Style
Adept 4
2 stars
to reach Adept 5
Position: 141
/
434
Language Score: 2
Top 40% of all ranked profiles
Rocq Prover
Beginner 4
1 star
to reach Beginner 5
Position: 70
/
106
Language Score: 1
