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

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

Simple unit testing for C

Common GitHub Actions for CI/CD on FreeRTOS library repositories.

Client implementation of the MQTT 3.1.1 specification for embedded devices

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

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

SDK for connecting to AWS IoT from a device using Python.

SDK to use with functions running on Greengrass Core using Python

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

AWS IoT SDK for ESP32 based chipsets