Rankings
Badges
/
paulcadman
Rankings
Badges
Overview
Ranks
Repositories
Languages
Paul Cadman
@paulcadman
Refresh
Open GitHub
🇬🇧 London
Profile age: over 16 years
Updated 28 days ago
57 followers • 43 following
Profile Overview
Global
United Kingdom
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 1
Persona
Contributor
#329,408
#319,987
#234,637
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
the-little-typer
48
11
updated over 5 years ago • age about 7 years
Racket
84.3%
Coq
15.7%
lean4-leetcode
7
0
updated about 2 years ago • age about 2 years
Lean
100.0%
dhall-to-jenkinsfile
6
1
updated almost 6 years ago • age over 7 years
Haskell
74.6%
Dhall
25.4%
megajuvix
1
0
updated about 1 year ago • age over 2 years
Haskell
93.3%
C
5.4%
Rust
0.6%
CSS
0.5%
Makefile
0.2%
Last Contributions
2025
juvix
~8 PRs
+394
-134
Haskell
504
64
41
binius
1 PR
+1
-0
Rust
124
64
raylean
2 PRs
+50
-29
C
19
5
anoma-apps
1 PR
+0
-3
JavaScript
14
7
5
leansig
~13 PRs
+486
-142
Rust
4
0
View all contributions
Latest Updates
19 Oct 2025
Followers Count:
56
57
04 Oct 2025
Followers Count:
57
56
19 Sep 2025
Followers Count:
58
57
05 Sep 2025
Followers Count:
56
58
22 Aug 2025
Followers Count:
54
56
16 Jan 2025
First seen
Subscribe to paulcadman's GitHub rank updates in your messenger
WhatsApp
Telegram
