A GUI system for embedded systems.
Open IoT Framework
Synthesizing embedded control software from formal specifications
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
Controlling Model Railroad via Networks
Open Source Hardware For Industrial Automation