Cargo container validator ISO 6346 in Javascript
DisChoco: Distributed Constraint Reasoning Solver
Real time signature verification using MATLAB and C#
One of the leading short-/long-read aligner to large genomes
Petri network optimization with Martinez-Silva algorithm
Another encryption algorithm
Proof of correctness of the Marching Cubes algorithm in Coq.
Library implementating various rating, scoring, ranking algorithms.
Rejection-based stochastic simulation algorithm (RSSA)
An image processing and analysis library for Matlab
BudgetedSVM: A C++ Toolbox for Large-scale, Non-linear Classification
A Deformable Medical Image Registration Toolbox
C++ code to count the number pages in a given PDF file.
Fingerprint recognition library (.NET port)
Mobile Device as GUI for Smart Objects