Pinned Loading

1. An implementation of the TLS/SSL protocols

   C 4.7k 763

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

   C 296 173

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

   C 446 129

4. C Bounded Model Checker

   C++ 1k 285

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

   C 1k 639

6. AWS Encryption SDK for C

   C 60 57