OCaml bindings for GLPK
Software for exact computing based on interval arithmetic.
An Easy GUI for IRAF Photometry
DOMjudge is an automated judge system for programming contests.
collection of illustrative programs:small games, simulators: C, Matlab
NEVESIM is an event-driven neural simulation tool.
Ready-to-use appliance for GIS, Data Mining and Analysis, Modelling...
An implementation of Dantzig-Wolfe decomposition built upon GLPK
realistic truck simulator with 3D graphics done from zero
Distributed Network emulation tool for high rate packet
Library for optimization using a genetic algorithm or particle swarms
simulations with Lagrangian method,both symbolic and by numeric deriv
ntccKMC: A Kripke-structure-based model checker for ntcc
Lapack/quadprog QP for VBA/.Net/Java