Synthesizing embedded control software from formal specifications
AVR-related utility code
Windows XP reimplemented on Nintendo DS
High Speed Karlsruhe open automotive code initiative
Embedded Software Framework for ARM/Cortex Microcontroller
Embedded JPEG encoder
Arduino based fridge control
CMAKE build enviroment for LPC2000 and LPC17xx Cortex MCUs
Log and Play Retro Controller Inputs
cMIPS - an FPGA ready VHDL model for 5-stage pipeline, MIPS32r2 core
This project is about Model Railroading with Arduinos
Embedded Real-Time Operating System (RTOS)
fully modular opensource firmware for the ez430 chronos
3 port MIDI merger based on Arduino Mega
Project has been move to https://github.com/ciaa/Firmware
A 65C02 Emulator for Microchip PIC24/33
C++ library for POSIX systems.
Hard Real-Time OS compliant to the Osek/Vdx standard.
How to build ROS (Robot Operating System) for the iOS platform.
Open Source Hardware For Industrial Automation