Roderick Chapman

@rod-chapman

Open GitHub

🇬🇧 UK

Amazon Web Services

Profile age: about 9 years

Updated 6 days ago

57 followers • 1 following

Repositories

SPARKNaCl

122

updated 7 months ago • age about 6 years

Ada78.5%

C19.9%

Makefile1.3%

Assembly0.3%

cbmc-examples

updated 2 months ago • age over 2 years

C42.1%

Makefile40.5%

Python14.8%

Ada2.7%

prang

Archived

updated over 5 years ago • age over 5 years

C37.4%

C++34.5%

Ada28.1%

isqrt

updated over 2 years ago • age over 2 years

Ada94.2%

Rust5.8%

alire-index

updated about 2 years ago • age almost 5 years

Shell100.0%

Contributions

2025
cbmc
1 PR +12-12
C++
962
284
121
slothy
~6 PRs +29-21
Assembly
223
23
7
mlkem-native
~25 PRs +189-19
Assembly
107
37
3
mldsa-native
~28 PRs +3-3
C
26
23
2024
s2n-tls
2 PRs +198-37
C
4,640
742
151
mlkem-native
2 PRs +54-93
Assembly
107
37
3
cryptol-specs
2 PRs +294-38
TeX
43
10
6
LibMLKEM
1 PR +353-117
Ada
21
2
KAT
1 PR +12,000-12,000
21
2
1
2023
libkeccak
1 PR +2-0
Ada
36
3
3