GitHub repository: soarlab/paf
Primary language: Python
Description: PAF: Probabilistic Analysis of Errors in Floating-Point Computations