Pinned Loading

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

   An implementation of the TLS/SSL protocols

   C 4.5k 712

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 265 160

3. esbmc/esbmc esbmc/esbmc Public

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

   C 307 100

4. diffblue/cbmc diffblue/cbmc Public

   C Bounded Model Checker

   C++ 867 269

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 994 634

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

   AWS Encryption SDK for C

   C 58 56