Tool support for the Z formal notation
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.
Visualize Galois sub-hierarchy of 2d matrix
Repository has been moved to: http://dtitov.github.com/bracer