Open Source Solid Modeling CAD
Checkpoint/Restart functionality for Linux processes
CloudSat and CALIPSO plotting tool
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
Analysis and display of Census, business, government attribute data
IgH EtherCAT Master for Linux
Cis-element prediction tool from microarray data
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