Tool support for the Z formal notation
Mathematics, linear algebra and optimisation
Scheduling lockages at ship locks with several parallel lock chambers
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Java toolkit for discrete Image and Signal processing.
[frozen] A library for computing cycles in graphs or in Java code.
Octave Eclipse GUI
Lapack/quadprog QP for VBA/.Net/Java