Skip to content
@soarlab

Software Analysis Research Lab

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 30 9

  3. gelpia gelpia Public

    Rigorous Global Branch-and-Bound Optimizer

    Python 23 7

  4. FPTuner FPTuner Public

    Rigorous Floating-Point Mixed-Precision Tuner

    Python 14 7

  5. KULFI KULFI Public

    LLVM Instruction Level Fault Injector

    C++ 7 1

  6. pysmt pysmt Public

    Forked from pysmt/pysmt

    pySMT: A library for SMT formulae manipulation and solving

    Python 5 1

Repositories

Showing 10 of 31 repositories
  • RigorousErrorLNS Public

    Rigorous error bounds for Logarithmic Number Systems

    Lean 0 MIT 0 0 0 Updated Apr 8, 2025
  • gelpia Public

    Rigorous Global Branch-and-Bound Optimizer

    Python 23 MIT 7 10 2 Updated Dec 13, 2024
  • FPTaylor Public

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

    OCaml 30 MIT 9 12 2 Updated Sep 1, 2024
  • rust-benchmarks Public

    Rust software verification benchmarks

    Rust 4 MIT 2 1 1 Updated Apr 18, 2024
  • OL1V3R Public

    OL1V3R: solving floating-point constraints via stochastic local search

    Racket 2 0 0 0 Updated Aug 14, 2022
  • fpsyn Public

    Synthesis of rigorous floating-point predicates

    C 3 MIT 1 0 0 Updated Mar 24, 2022
  • AAQNN Public

    Adversarial Attacks for Quantized Neural Networks

    Python 2 0 3 5 Updated Jan 13, 2022
  • paf Public

    PAF: Probabilistic Analysis of Errors in Floating-Point Computations

    Python 2 MIT 2 12 1 Updated Dec 7, 2021
  • gelpia_tests Public

    test suite for the gelpia tool

    Python 1 MIT 0 0 0 Updated Dec 6, 2021
  • lgbtq-problem-set Public

    An LGBTQ-Inclusive Problem Set in Discrete Mathematics

    2 CC-BY-4.0 0 0 0 Updated Dec 2, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…