A system for programming LPC, STM32 and possible others devices.
i-nex system hardware lister
Moved to GitHub
A Simple 'IDE'A for Linux Kernel Developers
Smartcard access lib for Arduino based boards
LED Color Control System for RaspberryPi and Dreambox
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Asynchronous Spatial Division Multiplexing Router for On-Chip Networks