Tool support for the Z formal notation
Python code able to convert / compress image to PI (3.14, π) Indexes
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