Popular repositoriesLoading

1. SPARKNaClSPARKNaClPublic

   SPARK 2014 re-implementation of the TweetNaCl crypto library

   Ada 121 10

2. cbmc-examplescbmc-examplesPublic

   Examples of code verification using CBMC

   Makefile 6 1

3. prangprangPublic archive

   Wichmann-Hill Pseudo-Random Number generator

   C 1 1

4. alire-indexalire-indexPublic

   Forked fromalire-project/alire-index

   Community index for the Alire project

   Shell

5. aws-lcaws-lcPublic

   Forked fromaws/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-tlss2n-tlsPublic

   Forked fromaws/s2n-tls

   An implementation of the TLS/SSL protocols

   C