JBernstein: Exploration techniques for non-linear constraint checking
[frozen] A library for computing cycles in graphs or in Java code.
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
clustering, machine learning, algorithms
Math Parser for Java
BinBase is a software for the automatic analysis of Massspec data from
combinational logic functions minimization
keyword search engine for semi-structured data (Tables, lists,...)
Zero Sum Game Solver Java Library