A high quality MP3 encoder
Open Source Solid Modeling CAD
For full, incremental, compressed and encrypted backups or archives
Open-Source Framework for Distributed Constraint Optimization (DCOP)
High-speed, 3D-friendly, TightVNC-compatible remote desktop software
Implementations for the Revised Report language
Innovative text document search. http://dynaq.opendfki.de for details.
A wireless push-type network simulator.
Stream manager
Java5 mobile agents in peer2peer containers without stubs/skeletons.
Fast, scalable, robust graph database platform
ext2/3/4 library for microcontrollers
Open Source Enterprise Wiki and Web Application Platform
Multi-protocol server written in Java
An OrBAC policy editor
Open IoT Framework
Synthesizing embedded control software from formal specifications