feliperodri - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

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