DisChoco: Distributed Constraint Reasoning Solver
c++ header file including classes and functions for vector mathematics
JBernstein: Exploration techniques for non-linear constraint checking
A library with Scalable (and fast) Read-Write locks
A CBLS Engine in SCALA, NOW part of OscaR
Spatial extension for db4o.
WIttgen is a two-instruction programming language modeled on the mind.
A general genetic algorithm framework
simple algorithm for a realtime interactive visual cortex for painting
a customizable number-guessing system
keyword search engine for semi-structured data (Tables, lists,...)