Pinned Loading

1. parfloat/nixnan parfloat/nixnan Public

   Nixing NaNs in ML or HPC

   Cuda 2

2. smackers/smack smackers/smack Public

   SMACK Software Verifier and Verification Toolchain

   C 443 86

3. soarlab/gelpia soarlab/gelpia Public

   Rigorous Global Branch-and-Bound Optimizer

   Python 24 9

4. soarlab/FPTaylor soarlab/FPTaylor Public

   Tool for Rigorous Estimation of Round-Off Floating-Point Errors

   OCaml 33 10

5. FPBenchParser FPBenchParser Public

   A Python parser for the FPBench format

   Python 1

6. soarlab/FPTuner soarlab/FPTuner Public

   Rigorous Floating-Point Mixed-Precision Tuner

   Python 17 4