Proof of correctness of the Marching Cubes algorithm in Coq.
Algorithms & Data structures in C++
A general recommender system with basic models and MRA
Fast AFM force curve peaks detector algorithm
a parallel and space-efficient Burrows-Wheeler transfrom constructor
A Python computer vision library
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Efficient Approximate Nearest Neighbors for General Metric Spaces
Framework for developer Delphi
Open Source HGWC's Encryption
clustering, machine learning, algorithms
Algorithmic trading platform
Library implementating various rating, scoring, ranking algorithms.
dimensionality-recursive vector quantization
Some basic matrix algorithms implemented in C
Parallel Processing for Next-Generation Sequencing (NGS) Analysis
Library implementing the GridRPC and GridRPC DM OGF stantards.
An independent Data Distribution Management testbed
A plugin for the quantitative analysis of Immunohistochemistry samples
Evolving Artificial Life
PAK is a collection of library code to handle the overhead of coding
Solve linear programming problems