Client library for using AWS IoT Jobs service on embedded devices
A flight software and embedded systems framework
Real-Time Embedded Frameworks based on active objects & state machines
a self-contained development environment for embedded systems.
BACnet stack for Rabbit 4000/5000/6000
Implementation of LZW compression algorithm in C
Real Time Tcp/Ip Stack Library
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