Python implementation for microcontrollers and constrained systems
A flight software and embedded systems framework
Client library for using AWS IoT Jobs service on embedded devices
Cross-platform IDE for developing embedded solutions and desktops
a self-contained development environment for embedded systems.
A C++ library for AVR and NodeMCU
Synthesizing embedded control software from formal specifications