The AWS IoT ExpressLink libraries written in C on different MCU platforms.
1. STM32: https://github.com/stm32-hotspot/I-CUBE-ExpressLink