Roars Lab
Change the repository type filter
All
Repositories list
37 repositories
- Tracking Deadlines of Major Conferences in Computer Science
- DPLL(T)-based Verification tool for DNNs
- A comprehensive open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.
AdaptiveGDVB
Publicnnv_papers
PublicPyExZ3
Publicgmu-stuff
Publicrelusplitter
Publicdig
PublicDIG 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.npbench
Publica collection of benchmarks (in DIMACS format) for various NP-Complete problemscsconf-points
PublicCombStruct4Lean
Publicrelusplitter_vnncomp25
Publicmason-nsf-db
Public.github
PublicCOOL-Language-Support
Publicdynaplex
PublicA tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds.neuralbench
Publicmaxclique
PublicA parallel, ant-based algorithm for the Maximum Clique problem.coloring
PublicA fast algorithm for solving the Graph Coloring problem and its generalizations (Bandwidth Coloring, Multi Coloring, and Bandwidth Multi Coloring problems)symexe4dnn
Publicdynarorars.github.io
PublicCOOL-Compiler-In-Py
Publicvs.language.cmake
Publicdnn-inv-inference
Publicnuminv
Public