Support for Pegasus-compatible USB to Ethernet devices on ARM(Android)
Technologies for automating food production on various scales
OpenSPA MOD for OpenPCTV
Embedded linux and cross toolchain
Embedded Real-Time Operating System (RTOS)
Debian for Intel Galileo Board
Open implementation of the x86 architecture
SDK for the SARK-110 Antenna Analyzer
Controlling Model Railroad via Networks
Project has been move to https://github.com/ciaa/Firmware
C++ library for POSIX systems.
JBernstein: Exploration techniques for non-linear constraint checking
Hard Real-Time OS compliant to the Osek/Vdx standard.
CLOCK 3W Library for Arduino (by FRIENDLY ELECTRONICS)
Raspberry Pi SD Image with Ruby and SiriProxy