Hashed dynamic determinants for convex hulls
S-Match is a semantic matching framework.
Framework for Hierarchical Graph Decomposition
One of the leading short-/long-read aligner to large genomes
JBernstein: Exploration techniques for non-linear constraint checking
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Graph algorithms interpreter, IDE, debugger, 3D visualizations.
Efficient Approximate Nearest Neighbors for General Metric Spaces
Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
clustering, machine learning, algorithms
A C++ template library extending syntax towards mathematical notation
An independent Data Distribution Management testbed
Evolving Artificial Life
An implementation of Dantzig-Wolfe decomposition built upon GLPK