One of the most accurate multiple protein sequence aligners
Sokoban solver written in Ada
Library of solvers for work in Science, Engineering & Education
Paged Lists & Iterators GXS for C++ Sources by Vincent Radio {Adrix.NT
Digital Signal Processing Simulation
Proof of correctness of the Marching Cubes algorithm in Coq.
Standard Compression Scheme for Unicode
Tool for Engineering Emergent Selforganizing bEhavioR