Tool support for the Z formal notation
Android, UIQ 3.0, Series 60 Edition 5 open-source software
BBMap short read aligner, and other bioinformatic tools.
Open Source Solid Modeling CAD
Tools for integration and analysis of heterogeneous immunological data
Chemical structures database & machine learning with web services API
Open pharmacovigilance data extraction, mining and analysis tool
The UEA sRNA Workbench
Linking Language to Knowledge with Distributional Semantics
A High-level Utility Package for FMI-based Software Development
FCSalyzer is a free program for analysing flow cytometry data
Multi-platform Variable Star Visualisation and Analysis