Synthesizing embedded control software from formal specifications
MGSyn - Automatic Synthesis for Industrial Automation
An Open-Source Library for Low-Power Approximate Computing Modules
Windows XP reimplemented on Nintendo DS
A software for upload .hex files to ATMEGA328P and compile .asm files
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
Cross platform configuration tool for Ciseco XRF radio devices
Technologies for automating food production on various scales
Embedded Real-Time Operating System (RTOS)
OpenSPA MOD for OpenPCTV
Open implementation of the x86 architecture
SDK for the SARK-110 Antenna Analyzer
JBernstein: Exploration techniques for non-linear constraint checking
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
Unified desktop and embedded Serial port API