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