Open source flash program for STM32 using the ST serial bootloader
Open Source middleware platform with FreeRTOS, processor abstraction
Open Source platform with FreeRTOS, processor abstraction
A GUI system for embedded systems.
BACnet stack for Rabbit 4000/5000/6000
State machine framework for reactive embedded systems
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
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
FW and HW design for a 7-key chording keyboard
Alternative PE to rescue, hack or troubleshoot your machine or network