Open source flash program for STM32 using the ST serial bootloader
AO RTOS is small real time OS based on Active Object concurrency model
Open Source platform with FreeRTOS, processor abstraction
Open Source middleware platform with FreeRTOS, processor abstraction
State machine framework for reactive embedded systems
ext2/3/4 library for microcontrollers
W-Bus communication library
Open IoT Framework
Synthesizing embedded control software from formal specifications
Cross platform configuration tool for Ciseco XRF radio devices
Technologies for automating food production on various scales
JBernstein: Exploration techniques for non-linear constraint checking
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
Open Source Hardware For Industrial Automation
ONE-NET is an open-source low power wireless networking protocol.