Popular repositories Loading

1. SPARKNaCl SPARKNaCl Public

   SPARK 2014 re-implementation of the TweetNaCl crypto library

   Ada 115 10

2. cbmc-examples cbmc-examples Public

   Examples of code verification using CBMC

   C 5 1

3. prang prang Public archive

   Wichmann-Hill Pseudo-Random Number generator

   C 1 1

4. alire-index alire-index Public

   Forked from alire-project/alire-index

   Community index for the Alire project

   Shell

5. aws-lc aws-lc Public

   Forked from aws/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.

   C++

6. s2n-tls s2n-tls Public

   Forked from aws/s2n-tls

   An implementation of the TLS/SSL protocols

   C