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.

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)