Tool support for the Z formal notation
Java language binding for the GNU Linear Programming Kit (GLPK)
A java infix evaluator based on "Shunting Yard" algorithm.
Mathematics, linear algebra and optimisation
A Free and Open Source Java Framework for Multiobjective Optimization
Bit level lambda continuations and nothing else - Queue automata
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Java toolkit for discrete Image and Signal processing.
[frozen] A library for computing cycles in graphs or in Java code.
A class library to use conformal geometric algebra in C#
Lapack/quadprog QP for VBA/.Net/Java
Visualize Galois sub-hierarchy of 2d matrix
Repository has been moved to: http://dtitov.github.com/bracer