Skip to content
@dynaroars

Roars Lab

Roars (Research on Automated Reasoning Systems) Lab at George Mason University
README.md

Code repository of the Roars lab at George Mason University.

Pinned Loading

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

    Roars Website

    HTML 70 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.

    TeX 255 25

  3. neuralsat neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    Python 25 6

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

  5. npbench npbench Public

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

    TeX 14 1

  6. cspicks cspicks Public

    A simple website to explore Computer Science Professors and PhD programs using data from CSrankings

    JavaScript 2

Repositories

Showing 10 of 47 repositories
  • bibtex Public

    temp

    dynaroars/bibtex’s past year of commit activity
    JavaScript 1 0 0 0 Updated Dec 30, 2025
  • cspicks Public

    A simple website to explore Computer Science Professors and PhD programs using data from CSrankings

    dynaroars/cspicks’s past year of commit activity
    JavaScript 2 MIT 0 0 0 Updated Dec 30, 2025
  • latex-cv Public

    academic cv in latex

    dynaroars/latex-cv’s past year of commit activity
    TeX 1 CC0-1.0 0 0 0 Updated Dec 30, 2025
  • dynaroars.github.io Public

    Roars Website

    dynaroars/dynaroars.github.io’s past year of commit activity
    HTML 70 6 0 0 Updated Dec 30, 2025
  • csconfs Public

    Tracking Deadlines of Major Conferences in Computer Science

    dynaroars/csconfs’s past year of commit activity
    JavaScript 8 MIT 8 2 1 Updated Dec 29, 2025
  • book_nnv Public

    book_nnv

    dynaroars/book_nnv’s past year of commit activity
    TeX 1 1 0 0 Updated Dec 28, 2025
  • phd-cs-us Public

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

    dynaroars/phd-cs-us’s past year of commit activity
    TeX 255 25 0 0 Updated Dec 26, 2025
  • CSrankings Public Forked from emeryberger/CSrankings

    A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

    dynaroars/CSrankings’s past year of commit activity
    Python 0 3,904 0 0 Updated Dec 23, 2025
  • neuralsat Public

    DPLL(T)-based Verification tool for DNNs

    dynaroars/neuralsat’s past year of commit activity
    Python 25 MIT 6 0 0 Updated Dec 21, 2025
  • relusplitter Public
    dynaroars/relusplitter’s past year of commit activity
    Python 0 0 0 0 Updated Dec 21, 2025
View all repositories

Most used topics

Loading…