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

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

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.

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.