A powerful arbitrary-precision calculator.
Automated integer factorization
Open Source Solid Modeling CAD
CloudSat and CALIPSO plotting tool
Checkpoint/Restart functionality for Linux processes
Proof Logic : A logical framework for theorem proving
Libraries and command line tools for medical image processing.
Utility to show live progress, status & stats for running simulations
Visualize genetic code structure from fasta file.
Binary Diff and Undiff Utility
IgH EtherCAT Master for Linux
Calculate time ephemerides in convenient form
Biomolecular electrostatics software
Application Integration for HPC Multiphysics
tumor epigenetic database
SparthMP is an ANSI-C math library for Multi-Precision calculations