Skip to content


  • Arctic Code Vault Contributor




  1. Rigorous Global Branch-and-Bound Optimizer

    Python 7 4

  2. SMACK Software Verifier and Verification Toolchain

    C 303 66

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

    OCaml 15 5

  4. A Python parser for the FPBench format

    Python 1

  5. Rigorous Floating-Point Mixed-Precision Tuner

    Python 12 4

  6. Forked from lipeng28/Gklee

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


146 contributions in the last year

Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mon Wed Fri

Contribution activity

February 2021

Created 1 commit in 1 repository
Opened 3 pull requests in 1 repository
Reviewed 1 pull request in 1 repository
smackers/smack 1 pull request

Seeing something unexpected? Take a look at the GitHub profile guide.