Rankings
Badges
/
jmchapman
Rankings
Badges
Overview
Ranks
Repositories
Languages
James Chapman
@jmchapman
Refresh
Open GitHub
🇬🇧 Glasgow, UK
@input-output-hk
Profile age: over 14 years
Updated about 19 hours ago
85 followers • 9 following
Contacts
http://jmchapman.github.com
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 5
Persona
Influencer
#266,015
#872,382
#146,412
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
Relative-Monads
24
2
updated over 6 years ago • age about 14 years
Agda
100.0%
TT-in-TT
16
2
updated over 13 years ago • age over 13 years
Big-step-Normalisation
14
1
updated over 9 years ago • age about 14 years
Agda
100.0%
restriction-categories
12
1
updated about 9 years ago • age almost 13 years
Agda
100.0%
categories
11
0
updated over 6 years ago • age about 11 years
Agda
100.0%
View all 11 repositories
Last Contributions
2025
cardano-formal-specifications
1 PR
+148
-14
TeX
4
2
2023
cardano-updates
~14 PRs
+249
-0
Shell
11
16
peras-design
1 PR
+384
-279
HTML
4
0
2022
plutus
1 PR
+8
-0
Haskell
1,621
498
51
2021
plutus
2 PRs
+1,141
-1,060
Haskell
1,621
498
51
View all contributions
Latest Updates
01 Nov 2025
Followers Count:
86
85
05 Sep 2025
Followers Count:
84
86
22 Aug 2025
Followers Count:
85
84
08 Aug 2025
Followers Count:
84
85
04 Jan 2025
First seen
Subscribe to jmchapman's GitHub rank updates in your messenger
WhatsApp
Telegram
