Embedded linux and cross toolchain
Embedded Real-Time Operating System (RTOS)
OpenSPA MOD for OpenPCTV
Open implementation of the x86 architecture
Debian for Intel Galileo Board
SDK for the SARK-110 Antenna Analyzer
Technology project
Controlling Model Railroad via Networks
Arduino Based Driver for Advatel Ledboard
JBernstein: Exploration techniques for non-linear constraint checking
Project has been move to https://github.com/ciaa/Firmware
C++ library for POSIX systems.
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
Hard Real-Time OS compliant to the Osek/Vdx standard.