Built MindTheGapps
A Windows tool for writing images to USB sticks or SD/CF cards
Real-Time Event Frameworks based on active objects & state machines
Dew Controller Feature Rich
QFSViewer is a small tool to view system raw image files.
KleOS brings together Arduino, FreeRTOS and Arduino-mk to you.
An analysis tool showing the structure of a C program
State machine framework for reactive embedded systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
Allows executing code on MIPS32 EmbeddedLinux devices (WLAN routers)
MGSyn - Automatic Synthesis for Industrial Automation
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
Cross platform configuration tool for Ciseco XRF radio devices
JBernstein: Exploration techniques for non-linear constraint checking
Light Weight & Customizable Assembly Compiler & Virtual Machine