A GUI system for embedded systems.
BACnet stack for Rabbit 4000/5000/6000
BASIC-like language interpreter for embedded systems
State machine framework for reactive embedded systems
Python Library for accessing UEFI BIOS internal function by protocol
Open IoT Framework
Synthesizing embedded control software from formal specifications
Arduino Based Driver for Advatel Ledboard
JBernstein: Exploration techniques for non-linear constraint checking
Unified desktop and embedded Serial port API
A disassembler and a simulator for the MSP430 CPU
To be a practical Arduino simulator
FW and HW design for a 7-key chording keyboard
Alternative PE to rescue, hack or troubleshoot your machine or network
Streams data from 3D cameras over a network.