Roderick Chapman

icon company Amazon Web Services icon location UK icon location Security- and Safety-Critical software engineer. Designer and developer of the SPARK/Ada language and toolset for many years.

Results 1 repositories owned by Roderick Chapman

SPARKNaCl

103
Stars
8
Forks
Watchers

SPARK 2014 re-implementation of the TweetNaCl crypto library

verified publisher icon rod-chapman