Software to disentangle the forced and unforced components of tropospheric temperature change over the satellite era

ATD (Assured Timing Detector) is an adaptable, model-based system for monitoring a timing signal for anomalies

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

This is a python code to simulate the formation and evolution of particles in an airburst as a homogeneous fireball expands and cools. The numerical model applied is a Lagrangian particle super-droplet method.

web-based query tool for interacting with the Wintap event stream.

SAC2000 (Seismic Analysis Code for the third millennium) is a general purpose interactive program designed for the study of sequential signals, especially time-series data.