amforth is an extendible interpreter on microcontrollers
A GUI system for embedded systems.
AO RTOS is small real time OS based on Active Object concurrency model
BASIC-like language interpreter for embedded systems
State machine framework for reactive embedded systems
W-Bus communication library
Synthesizing embedded control software from formal specifications
Technologies for automating food production on various scales
JBernstein: Exploration techniques for non-linear constraint checking
Unified desktop and embedded Serial port API
A disassembler and a simulator for the MSP430 CPU
FW and HW design for a 7-key chording keyboard