A flight software and embedded systems framework
Real-Time Event Frameworks based on active objects & state machines
Debugging and programming interfaces for Freescale microcontroller
Cross-platform IDE for developing embedded solutions and desktops
Real Time Tcp/Ip Stack Library
a self-contained development environment for embedded systems.
BACnet stack for Rabbit 4000/5000/6000
Implementation of LZW compression algorithm in C
An analysis tool showing the structure of a C program
State machine framework for reactive embedded systems
Recirculation infusion mash system library for Arduino
A Windows based GUI for popular avrdude command line utility
Synthesizing embedded control software from formal specifications
Pinguino VB IDE
Performs SCOAP and PODEM algorighms on ISCAS89 Netlists.
Log and Play Retro Controller Inputs
Template Virtual COM Port Project
Home Automation - HVAC controls
Embedded Real-Time Operating System (RTOS)
Time saving tool for mapping microcontroller peripherals
Managing your Arduino BOARDS.TXT and PROGRAMMERS.TXT files
JBernstein: Exploration techniques for non-linear constraint checking