PyRPL turns your Red Pitaya into a powerful analog feedback device.
A Development Framework for Coldfire
Python Hardware Processor
Framework for Adaptive Hardware Concurrent Systems with DPR-FPGAs
Simple AVR OS
Labcoat; the VHDL graphic emulator.