Kani Rust Verifier

Verifying the Rust standard library

C Bounded Model Checker

A transcoder for GOTO programs

Secure and fast microVMs for serverless computing.

The CBMC stater kit makes it easy to add CBMC verification to a software project.

AWS Encryption SDK for C

An implementation of the IETF QUIC protocol

Core implementation of the Cedar language

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

Data for this-week-in-rust.org

Kani VSCode Extension

s2n : an implementation of the TLS/SSL protocols

This repository provides a GitHub Action for running the Kani Rust Verifier in CI.

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

Client implementation of a subset of HTTP 1.1 protocol designed for embedded devices.

Client library for using AWS IoT Jobs service on embedded devices

SNTPv4 client designed for embedded devices.

Client library for using AWS IoT Shadow service on embedded devices

Client implementation of the MQTT 3.1.1 specification for embedded devices

AWS library to sign AWS HTTP requests with Signature Version 4 Signing Process.

FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard.

Client library for using AWS IoT Defender service on embedded devices

Software implementation of the PKCS #11 standard.

Implements an MQTT agent (or daemon) task for simple MQTT connection sharing among different threads of execution.

FreeRTOS-Plus-TCP library repository. +TCP files only. Submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

IoT operating system for microcontrollers.

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