Python implementation for microcontrollers and constrained systems
Cross-platform IDE for developing embedded solutions and desktops
Free real-time operating system designed for microcontrollers
State machine framework for reactive embedded systems
PRTOS is a simple, compact preemptive RTOS for embedded systems
Community-driven variant of TI's bare metal development support tools
An event driven processing runtime for multicore
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
A system for programming LPC, STM32 and possible others devices.
SDK for the SARK-110 Antenna Analyzer
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Simple AVR OS