Concurrent Data Structure library
Toolboxes for parameter continuation and bifurcation analysis.
A package for Isogeometric Analysis in Octave and Matlab
a free cross platform calculator for calculating BIG numbers
A real time inference engine for temporal logical specifications
RSTP / MSTP Library and Simulator - moved to GitHub
Sokoban solver written in Ada
fast C++ library for GPU linear algebra & scientific computing