A GUI system for embedded systems.
opkg for cmu mazda infotainment
BACnet stack for Rabbit 4000/5000/6000
BASIC-like language interpreter for embedded systems
State machine framework for reactive embedded systems
A minimistic Linux window manager with css style config
Python Library for accessing UEFI BIOS internal function by protocol
Open IoT Framework
Debian for WDTV Live (running WDLXTV) - Inc. Build Essentials
Synthesizing embedded control software from formal specifications
serial logging tool with time stamps and hotkey and automation support
Controlling Model Railroad via Networks
Arduino Based Driver for Advatel Ledboard
JBernstein: Exploration techniques for non-linear constraint checking
Fronius data tool for Linux
Unified desktop and embedded Serial port API
A disassembler and a simulator for the MSP430 CPU
Scheduler for reconfigurable hardware
Suite of Linux libs: logger, collections, shared memory lib
To be a practical Arduino simulator
FW and HW design for a 7-key chording keyboard