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
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%
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
juvix-installer
1 PR
+29
-0
Shell
2
1
jessicacantswim
1 PR
+33
-10
C
0
0
2024
anoma
1 PR
+0
-1
Elixir
34,255
4,102
10
juvix
~122 PRs
+211
-12
Haskell
504
64
41
juvix-stdlib
~9 PRs
+80
-10
Makefile
27
3
16
Show more
