Distributed Computing with JavaScript
Advanced numerical instruments: adaptive meshing, FE methods, solvers
A Deformable Medical Image Registration Toolbox
BudgetedSVM: A C++ Toolbox for Large-scale, Non-linear Classification
A general recommender system with basic models and MRA
Synchronous Petri Nets' emulator
MatLab toolbox for magnetospheric and ionospheric science.
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
Iterative Data and Control Flow Analysis
SOAP and webapp library for C++
proof verifier for mathematical proofs and documentation generator
User Friendly Data Analysis Tool for Interaction Data
MatLab functions for reading WinView/WinSpec .spe files
Static analyzer for Java bytecode
A java library for polymorphic genome assembly.