Tool support for the Z formal notation
An interactive viewer for three-dimensional chemical structures.
CERCA – Citation Extraction & Reference Checking Assistant
Eclipse 4diac the open source solution for industrial automation
Profiling and analysis of laser beams with ImageJ
Cross-platform DICOM implementation
Open Source Solid Modeling CAD
ProStack - a platform for image processing and analysis
ASALI is an open-source code for chemical engineers
Night Vision is a "planetarium" program written in Java
Use simulation to perform statistical analyses.
AlgoSim : création, analyse et exécution des algorithmes
An algebra editor
Queueing Theory Algorithms
JQM - Java Quine McCluskey for minimization of Boolean functions.