Pinned Loading

1. soarlab/gelpia soarlab/gelpia Public

   Rigorous Global Branch-and-Bound Optimizer

   Python 20 6

2. smackers/smack smackers/smack Public

   SMACK Software Verifier and Verification Toolchain

   C 427 82

3. soarlab/FPTaylor soarlab/FPTaylor Public

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

   OCaml 27 9

4. FPBenchParser FPBenchParser Public

   A Python parser for the FPBench format

   Python 1

5. soarlab/FPTuner soarlab/FPTuner Public

   Rigorous Floating-Point Mixed-Precision Tuner

   Python 13 7

6. Gklee Gklee Public

   Forked from lipeng28/Gklee

   GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

   C++