An Open-Source Library for Low-Power Approximate Computing Modules
Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation
Windows XP reimplemented on Nintendo DS
Arduino based fridge control
Embedded JPEG encoder
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Simple USB flash memory programmer.
Beaglebone Black C++ Library
RDP Launcher
Cross platform configuration tool for Ciseco XRF radio devices
Technologies for automating food production on various scales
Home Automation - HVAC controls
Open implementation of the x86 architecture
OpenSPA MOD for OpenPCTV
SDK for the SARK-110 Antenna Analyzer
Managing your Arduino BOARDS.TXT and PROGRAMMERS.TXT files
JBernstein: Exploration techniques for non-linear constraint checking
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)