Rankings
Badges
/
pigworker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Conor McBride
@pigworker
Refresh
Open GitHub
🇬🇧 Glasgow
Profile age: over 12 years
Updated 11 days ago
555 followers • 2 following
Contacts
conor@strictlypositive.org
http://strictlypositive.org
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 1
Persona
Influencer
#30,107
#2,144,519
#15,309
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
CS410-17
264
28
updated over 7 years ago • age about 8 years
Agda
95.0%
Haskell
4.5%
Emacs Lisp
0.5%
MetaprogAgda
113
18
updated over 2 years ago • age about 12 years
CS410-14
71
6
updated over 10 years ago • age almost 11 years
Agda
96.2%
Haskell
3.3%
Makefile
0.5%
CS410-18
57
4
updated over 6 years ago • age about 7 years
Agda
96.5%
Haskell
3.5%
Samizdat
54
2
updated 3 months ago • age about 9 years
Agda
65.4%
Haskell
33.0%
Rocq Prover
1.6%
View all 41 repositories
Last Contributions
2025
ask
1 PR
+31
-9
Haskell
39
2
2021
ask
~19 PRs
+331
-171
Haskell
39
2
2020
Mary
3 PRs
+258
-187
Haskell
17
1
View all contributions
Latest Updates
19 Sep 2025
Followers Count:
556
555
05 Sep 2025
Followers Count:
554
556
22 Aug 2025
Followers Count:
553
554
24 Jul 2025
Followers Count:
554
553
10 Jul 2025
Followers Count:
551
554
04 Jan 2025
First seen
Subscribe to pigworker's GitHub rank updates in your messenger
WhatsApp
Telegram
