Antecedent is a typed causal-analysis compiler whose output is a qualified scientific claim. It keeps identification, structural uncertainty, empirical support, statistical uncertainty, assumptions, implementation evidence and provenance separate and machine-checkable all the way through execution and serialization.
Python Kalman filtering and optimal estimation library. Implements Kalman filter, particle filter, Extended Kalman filter, Unscented Kalman filter, g-h (alpha-beta), least squares, H Infinity, smoothers, and more. Has companion book 'Kalman and Bayesian Filters in Python'.