Pinned Loading

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

   Roars Website

   HTML 69 6

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

   A comprehensive open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.

   TeX 146 13

3. neuralsat neuralsat Public

   DPLL(T)-based Verification tool for DNNs

   Python 17 4

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 51 6

5. npbench npbench Public

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

   TeX 12 1