sparse and dense matrix, linear algebra, visualization, big data
A Calculator to perform logical operations
Editor for Petri nets
A printed document recognition system that can deal with formula
A simple Belief Merging Prototype
Java toolkit for discrete Image and Signal processing.
Calculator that takes care of measurement units.
Simple physics simulation of Curvilinear and Rectilinear Motions
Software tool for Research in Computational Population Genetics
DSOL: A Distributed Simulation Object Library implemented in Java
proof verifier for mathematical proofs and documentation generator