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
Very simple utilite to manage Apogee cameras
Text-to-Speech TTS for Basque, Spanish, Catalan, Galician and English
Slurm Resource Manager for Rocks Clusters
A forensic system baselining, searching, and evidence collection tool
a Toolset for Molecular Mechanical Force Field Parameterization