Popular repositories Loading

1. aws-c-common aws-c-common Public

   Forked from awslabs/aws-c-common

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

   C

2. aws-iot-device-sdk-embedded-C aws-iot-device-sdk-embedded-C Public

   Forked from aws/aws-iot-device-sdk-embedded-C

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

   C

3. aws-templates-for-cbmc-proofs aws-templates-for-cbmc-proofs Public

   Forked from model-checking/cbmc-starter-kit

   Templates for writing CBMC proofs for C code

   Makefile

4. s2n s2n Public

   Forked from aws/s2n-tls

   s2n : an implementation of the TLS/SSL protocols

   C

5. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   SWIG

6. coreJSON coreJSON Public

   Forked from FreeRTOS/coreJSON

   A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers

   C 1