Popular repositories Loading

1. maline maline Public

   Android Malware Detection Framework

   C++ 81 31

2. FPTaylor FPTaylor Public

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

   OCaml 31 9

3. gelpia gelpia Public

   Rigorous Global Branch-and-Bound Optimizer

   Python 24 7

4. FPTuner FPTuner Public

   Rigorous Floating-Point Mixed-Precision Tuner

   Python 14 7

5. KULFI KULFI Public

   LLVM Instruction Level Fault Injector

   C++ 8 1

6. pysmt pysmt Public

   Forked from pysmt/pysmt

   pySMT: A library for SMT formulae manipulation and solving

   Python 5 1