GitHub repository: sandialabs/elaenia
Primary language: TeX
Description: Automated Error Analysis of Numerical Software for High-Consequence Systems