Pinned Loading

1. dynaroars.github.io dynaroars.github.io Public

   Roars Website

   HTML 68 6

2. phd-cs-us phd-cs-us Public

   This book helps demystify the PhD admission process in Computer Science in US universities.

   TeX 118 11

3. neuralsat neuralsat Public

   DPLL(T)-based Verification tool for DNNs

   Python 16 1

4. dig dig Public

   DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

   Python 41 6

5. npbench npbench Public

   a collection of benchmarks (in DIMACS format) for various NP-Complete problems

   TeX 12 1