Rankings
Badges
/
pigworker
Rankings
Badges
Overview
Ranks
Repositories
Languages
Conor McBride
@pigworker
Refresh
Open GitHub
🇬🇧 Glasgow
Profile age: over 12 years
Updated 1 day ago
561 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,574
#2,159,145
#15,403
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
CS410-17
263
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 over 12 years
CS410-14
71
6
updated over 10 years ago • age about 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 5 months ago • age over 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
42
3
2021
ask
~19 PRs
+331
-171
Haskell
42
3
2020
Mary
3 PRs
+258
-187
Haskell
17
1
View all contributions
Latest Updates
15 Nov 2025
Followers Count:
558
561
31 Oct 2025
Followers Count:
560
558
17 Oct 2025
Followers Count:
557
560
03 Oct 2025
Followers Count:
555
557
19 Sep 2025
Followers Count:
556
555
04 Jan 2025
First seen
Subscribe to pigworker's GitHub rank updates in your messenger
WhatsApp
Telegram
