a self-contained development environment for embedded systems.
Implementation of LZW compression algorithm in C
An analysis tool showing the structure of a C program
Synthesizing embedded control software from formal specifications
Embedded Real-Time Operating System (RTOS)
BitBurner AVR Programmer, a full and complete AVRdude GUI for Windows.