Skip to content
@soarlab

Software Analysis Research Lab

Popular repositories Loading

  1. maline maline Public

    Android Malware Detection Framework

    C++ 80 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

    soarlab/RigorousErrorLNS’s past year of commit activity
    Lean 0 MIT 0 0 0 Updated Feb 25, 2025
  • gelpia Public

    Rigorous Global Branch-and-Bound Optimizer

    soarlab/gelpia’s past year of commit activity
    Python 23 MIT 7 10 2 Updated Dec 13, 2024
  • FPTaylor Public

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

    soarlab/FPTaylor’s past year of commit activity
    OCaml 30 MIT 9 12 2 Updated Sep 1, 2024
  • rust-benchmarks Public

    Rust software verification benchmarks

    soarlab/rust-benchmarks’s past year of commit activity
    Rust 4 MIT 2 1 1 Updated Apr 18, 2024
  • OL1V3R Public

    OL1V3R: solving floating-point constraints via stochastic local search

    soarlab/OL1V3R’s past year of commit activity
    Racket 2 0 0 0 Updated Aug 14, 2022
  • fpsyn Public

    Synthesis of rigorous floating-point predicates

    soarlab/fpsyn’s past year of commit activity
    C 3 MIT 1 0 0 Updated Mar 24, 2022
  • AAQNN Public

    Adversarial Attacks for Quantized Neural Networks

    soarlab/AAQNN’s past year of commit activity
    Python 2 0 3 5 Updated Jan 13, 2022
  • paf Public

    PAF: Probabilistic Analysis of Errors in Floating-Point Computations

    soarlab/paf’s past year of commit activity
    Python 2 MIT 2 12 1 Updated Dec 7, 2021
  • gelpia_tests Public

    test suite for the gelpia tool

    soarlab/gelpia_tests’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Dec 6, 2021
  • lgbtq-problem-set Public

    An LGBTQ-Inclusive Problem Set in Discrete Mathematics

    soarlab/lgbtq-problem-set’s past year of commit activity
    2 CC-BY-4.0 0 0 0 Updated Dec 2, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…