a self-contained development environment for embedded systems.
A C++ library for AVR and NodeMCU
opkg for cmu mazda infotainment
Implementation of LZW compression algorithm in C
An analysis tool showing the structure of a C program
Synthesizing embedded control software from formal specifications
a linux based readonly image as appliance
serial logging tool with time stamps and hotkey and automation support
Tools for cross building root file systems.
Embedded Real-Time Operating System (RTOS)
BitBurner AVR Programmer, a full and complete AVRdude GUI for Windows.
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs