Popular repositories Loading

1. cbmc cbmc Public

   Forked from diffblue/cbmc

   C Bounded Model Checker

   C++

2. 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

3. aws-encryption-sdk-c aws-encryption-sdk-c Public

   Forked from aws/aws-encryption-sdk-c

   AWS Encryption SDK for C

   C

4. amazon-freertos amazon-freertos Public

   Forked from markrtuttle/amazon-freertos

   IoT operating system for microcontrollers.

   C

5. smack smack Public

   Forked from smackers/smack

   SMACK Software Verifier and Verification Toolchain

   C

6. vcc-binaries vcc-binaries Public

   C