Roderick Chapman (@rod-chapman)
github

rod-chapman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    119
  • Global Rank 183,143 (Top 7 %)
  • Followers 43
  • Following 1
  • Registered about 8 years ago
  • Most used languages
    Ada
         50.0 %
    C
         50.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 8,663
  • Country Ranking
    Ada
         3
    C
         2,229

Top repositories

1

SPARKNaCl

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

cbmc-examples

Examples of code verification using CBMC
C
4
star
3

isqrt

Implementations and proofs of integer square root
Ada
1
star
4

prang

Wichmann-Hill Pseudo-Random Number generator
C
1
star