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 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 353 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 60 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 13 2

Repositories

Showing 10 of 53 repositories
  • health Public
    dynaroars/health's past year of commit activity
    Python 0 0 0 0 Updated Nov 11, 2026
  • vietprofs Public

    A directory of Vietnamese Academic and Research Worldwide.

    dynaroars/vietprofs's past year of commit activity
    TypeScript 4 1 3 0 Updated Nov 11, 2026
  • cspicks Public

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

    dynaroars/cspicks's past year of commit activity
    TypeScript 13 MIT 2 4 2 Updated Nov 10, 2026
  • 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
    Typst 353 34 1 0 Updated Nov 8, 2026
  • 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 invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

    dynaroars/dig's past year of commit activity
    Python 60 MIT 8 7 1 Updated Nov 7, 2026
  • bibtex Public

    temp

    dynaroars/bibtex's past year of commit activity
    TeX 4 1 0 0 Updated Nov 7, 2026
  • rl-smart-branching Public

    RSB: Verifying Neural Networks with Reinforcement Learning

    dynaroars/rl-smart-branching's past year of commit activity
    0 0 0 0 Updated Nov 5, 2026
  • lean99 Public Forked from lean-ja/lean99

    These are Lean translations of Ninety-Nine Haskell Problems (WIP)

    dynaroars/lean99's past year of commit activity
    Lean 0 Apache-2.0 5 0 0 Updated Nov 3, 2026
  • lean-by-example Public Forked from lean-ja/lean-by-example

    コード例で学ぶ Lean 言語

    dynaroars/lean-by-example's past year of commit activity
    Lean 0 17 0 0 Updated Nov 3, 2026
  • neuralsat Public

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

    dynaroars/neuralsat's past year of commit activity
    Python 37 MIT 14 7 2 Updated Oct 23, 2026
View all repositories