Rankings
Badges
/
michaelpj
Rankings
Badges
Overview
Ranks
Repositories
Languages
Michael Peyton Jones
@michaelpj
Refresh
Open GitHub
🇬🇧 London
CircuitHub
Profile age: over 13 years
Updated 3 days ago
259 followers • 1 following
Contacts
https://michaelpj.com
@mpeytonjones
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Elite 3
Persona
Influencer
#284,640
#67,805
#39,289
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
nixos-config
64
3
updated over 1 year ago • age over 8 years
Shell
60.6%
Nix
32.8%
Vim Script
5.0%
HTML
1.6%
abstract-machine-debuggers
12
1
updated almost 7 years ago • age almost 7 years
Haskell
91.0%
Nix
9.0%
plutus
1
1
updated almost 2 years ago • age over 7 years
Haskell
55.6%
TeX
28.9%
Agda
13.0%
Nix
1.5%
R
1.0%
change-structures-paper
0
3
updated over 6 years ago • age almost 8 years
TeX
99.7%
Nix
0.3%
fomega-recursion
0
0
updated almost 7 years ago • age almost 7 years
TeX
80.6%
Nix
19.4%
View all 8 repositories
Last Contributions
2025
haskell-language-server
2 PRs
+81
-33
Haskell
2,863
410
42
haskell.nix
1 PR
+4
-4
Nix
609
256
15
generic-lens
1 PR
+3
-3
Haskell
440
56
11
lsp
2 PRs
+8
-8
Haskell
405
99
20
hs-opentelemetry
2 PRs
+10,118
-1,435
Haskell
91
50
View all contributions
Latest Updates
30 Oct 2025
Followers Count:
260
259
16 Oct 2025
Followers Count:
259
260
18 Sep 2025
Followers Count:
258
259
03 Sep 2025
Followers Count:
257
258
06 Jan 2025
First seen
Subscribe to michaelpj's GitHub rank updates in your messenger
WhatsApp
Telegram
