Rankings
Badges
/
pigworker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Conor McBride
@pigworker
Refresh
Open GitHub
🇬🇧 Glasgow
Profile age: over 12 years
Updated 13 days ago
555 followers • 2 following
Contacts
conor@strictlypositive.org
http://strictlypositive.org
Language Ranks Breakdown
Global
United Kingdom
Agda
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 702
Position: 1
/
54
Haskell
Master 5
31 stars
to reach Elite 1
Position: 22
/
680
Language Score: 220
Top 4% of all ranked profiles
TeX
Elite 5
11 stars
to reach Legend 1
Position: 22
/
2.1K
Language Score: 179
Top 2% of all ranked profiles
HTML
Expert 2
2 stars
to reach Expert 3
Position: 2,585
/
25.1K
Language Score: 8
Top 20% of all ranked profiles
Emacs Lisp
Adept 4
1 star
to reach Adept 5
Position: 126
/
417
Language Score: 7
Top 40% of all ranked profiles
Makefile
Expert 1
2 stars
to reach Expert 2
Position: 728
/
6.2K
Language Score: 4
Top 20% of all ranked profiles
This month change:
↓1
JavaScript
Adept 3
2 stars
to reach Adept 4
Position: 10,058
/
27.7K
Language Score: 2
Top 40% of all ranked profiles
This month change:
↑3
BibTeX Style
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 2
Position: 7
/
26
Rocq Prover
N/A
Tiers are available for rankings with over 100 profiles.
Language Score: 1
Position: 4
/
5
