Verification via biSimulations of Max-Plus-Linear models
SIP Video Multiconference Media Server with WebRTC support.
A novel Code transformation technique to guide test input generator
RelaxChess, chess game that makes no search futher needed for a wow
Samples and wrappers around the Bria desktop API
Android port of the firebird jdbc driver (Jaybird)
Benchmark instances for multiobjective combinatorial optimization
PyUnit and PyDev extensions for arbitrary Executables
Liepa TTS andoid engine
Repository of desktops and programs for the Cygwin platform
Music player with remote control app
Ruby Collections for Java
Sample code for Ocean Optics OmniDriver spectrometer device driver
An open source controller for Scalextric community
An emulation of the experimental computer board 85.
JOPUX - a flexible and scalable application platform!
Serial connection Java library
Extended Server Pages (XSP/XSPD) for UNIX or Linux, C-based