Popular repositories

1. Lab-Project-coreMQTT-Agent Public

   Forked from FreeRTOS/coreMQTT-Agent-Demos

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

   C 1

2. TLAPLUS_DeadlockEmpire Public

   Forked from cobusve/TLAPLUS_DeadlockEmpire

   Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC

   TLA

3. FreeRTOS Public

   Forked from FreeRTOS/FreeRTOS

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

   C

4. FreeRTOS-Kernel Public

   Forked from FreeRTOS/FreeRTOS-Kernel

   FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.

   C

5. mbedtls Public

   Forked from Mbed-TLS/mbedtls

   An open source, portable, easy to use, readable and flexible SSL library

   C

6. device-defender-for-aws-iot-embedded-sdk Public

   C