A flight software and embedded systems framework
Real-Time Event Frameworks based on active objects & state machines
a self-contained development environment for embedded systems.
Real Time Tcp/Ip Stack Library
BACnet stack for Rabbit 4000/5000/6000
Implementation of LZW compression algorithm in C
State machine framework for reactive embedded systems
Recirculation infusion mash system library for Arduino
Synthesizing embedded control software from formal specifications
Template Virtual COM Port Project
Embedded Real-Time Operating System (RTOS)
JBernstein: Exploration techniques for non-linear constraint checking
Alternative PE to rescue, hack or troubleshoot your machine or network