Roars Lab

Pinned Loading

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

   Roars Website

   HTML 71 6

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

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

   Typst 349 34

3. neuralsat neuralsat Public

   A neural network verification tool based on the DPLL(T) SMT Solving algorithm.

   Python 37 14

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 57 8

5. npbench npbench Public

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

   HTML 16 1

6. cspicks cspicks Public

   A portal to explore Computer Science Professors, PhD programs, Conferences, and Job Postings

   TypeScript 12 2