Tool support for the Z formal notation
Satellite Procedure Execution Language and Library
NGSEP (Next Generation Sequencing Experience Platform)
Spatial Statistics Libraries & Tools for GeoTools, GeoServer, uDig
Supports PEDMAS order of computation and Reverse Polish Notation Gener
Symja - Java computer algebra language & symbolic math library
Unicode XML TEI text analysis platform
Reporting, Dashboarding, Analytic, Self-service BI, Ad-hoc reporting
Eclipse-based IDE for design verification tasks
An eclipse plugin for the openCONFIGURATOR configuration tool
Provides eclipse plugins for XDD edit, validation and OD generation.
Maui is the Maltcms User Interface
An Eclipse RCP program for all aspects of a (Swiss) medical practice