Pinned Loading

1. aws/s2n-tls aws/s2n-tls Public

   An implementation of the TLS/SSL protocols

   C 4.6k 742

2. awslabs/aws-c-common awslabs/aws-c-common Public

   Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.

   C 289 171

3. esbmc/esbmc esbmc/esbmc Public

   The efficient SMT-based context-bounded model checker (ESBMC)

   C 389 118

4. diffblue/cbmc diffblue/cbmc Public

   C Bounded Model Checker

   C++ 961 283

5. aws/aws-iot-device-sdk-embedded-C aws/aws-iot-device-sdk-embedded-C Public

   SDK for connecting to AWS IoT from a device using embedded C.

   C 1k 640

6. aws/aws-encryption-sdk-c aws/aws-encryption-sdk-c Public

   AWS Encryption SDK for C

   C 59 57