The Open On-Chip Debugger
Capture and control API for IIDC compliant cameras
Dataflow Run Time
A system for programming LPC, STM32 and possible others devices.
Moved to GitHub
A Simple 'IDE'A for Linux Kernel Developers
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs