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

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

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.

Finite Element Method for Electrochemical Transport (EchemFEM)