Roderick Chapman (@rod-chapman)
github

rod-chapman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    108
  • Global Rank 190,465 (Top 7 %)
  • Followers 38
  • Following 1
  • Registered over 7 years ago
  • Most used languages
    C
         50.0 %
    Ada
         50.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 8,663
  • Country Ranking
    Ada
         3
    C
         3,851

Top repositories

1

SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada
106
star
2

isqrt

Implementations and proofs of integer square root
Ada
1
star
3

prang

Wichmann-Hill Pseudo-Random Number generator
C
1
star
4

cbmc-examples

Examples of code verification using CBMC
C
1
star