Giters
Roderick Chapman (rod-chapman)

rod-chapman

Geek Repo

39

followers

1

following

2

stars

Company:Amazon Web Services

Location:UK

Github PK Tool:Github PK Tool

Roderick Chapman's repositories

SPARKNaCl

SPARK 2014 re-implementation of the TweetNaCl crypto library

Language:AdaLicense:BSD-3-ClauseStargazers:108Issues:15Issues:13

cbmc-examples

Examples of code verification using CBMC

Language:CLicense:BSD-2-ClauseStargazers:3Issues:0Issues:0

prang

Wichmann-Hill Pseudo-Random Number generator

Language:CStargazers:1Issues:0Issues:0

alire-index

Community index for the Alire project

Language:ShellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

aws-lc

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

benchmark-submission

Repository for the submission of SMT-LIB benchmarks for the 2024 release.

Language:SMTStargazers:0Issues:0Issues:0

isqrt

Implementations and proofs of integer square root

Language:AdaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

libkeccak

SHA-3 and other Keccak related algorithms in SPARK/Ada.

Language:AdaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

s2n-tls

An implementation of the TLS/SSL protocols

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0