dynaroars repositories

55 repositories

health
Public
Python
•0•0•0•0•Updated Oct 6, 2026Oct 6, 2026
cspicks
Public
A simple website to explore Computer Science Professors and PhD programs using data from CSrankings
computer-science rankings cs
computer-science rankings cs cs-profs cs-areas
TypeScript
•
MIT License
•1•7•1•2•Updated Oct 6, 2026Oct 6, 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 sup…
machine-learning symbolic-execution dynamic-analysis
machine-learning symbolic-execution dynamic-analysis program-verification loop-invariants invariant-generation specification-mining neural-network-verification
Python
•
MIT License
•7•57•7•0•Updated Oct 6, 2026Oct 6, 2026
vietprofs
Public
A directory of Vietnamese Academic and Research Worldwide.
computer-science database vietnamese
computer-science database vietnamese mathematics stem academia vietnam
TypeScript
•
Other
•0•3•20•1•Updated Oct 6, 2026Oct 6, 2026
bibtex
Public
temp
TeX
•1•4•0•0•Updated Oct 4, 2026Oct 4, 2026
phd-cs-us
Public
A open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.
computer-science university book
computer-science university book cs phd higher-education international graduate-school phd-admission gradadmission
Typst
•
Other
•34•341•1•0•Updated Oct 3, 2026Oct 3, 2026
kfold
Public
Python
•0•1•0•0•Updated Oct 3, 2026Oct 3, 2026
dynaroars.github.io
Public
Roars Website
website
website
HTML
•6•71•0•0•Updated Oct 2, 2026Oct 2, 2026
pdf-reload
Public
Firefox extension that reloads watched local PDFs when their contents change.
Python
•
MIT License
•0•0•0•0•Updated Sep 27, 2026Sep 27, 2026
date2cal
Public
Detects dates in Thunderbird email and creates calendar events with one click
JavaScript
•
Mozilla Public License 2.0
•0•0•0•0•Updated Sep 21, 2026Sep 21, 2026
npbench
Public
a collection of benchmarks (in DIMACS format) for various NP-Complete problems
np-hard np-complete benchmarks
np-hard np-complete benchmarks dimacs
HTML
•
Other
•1•16•0•0•Updated Sep 17, 2026Sep 17, 2026
aptpchecker
Public
Checking DNN Verification Proofs
Python
•0•3•0•0•Updated Sep 14, 2026Sep 14, 2026
csconfs
Public
Tracking Deadlines of Major Conferences in Computer Science
computer-science web-app conferences
computer-science web-app conferences publications software-engineering travel-locations deadlines
HTML
•12•10•1•1•Updated Aug 22, 2026Aug 22, 2026
neuralsat
Public
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
abstraction sat-solver software-verification
abstraction sat-solver software-verification ai-safety robustness dpll adversarial-attacks robustness-verification dnn-verification ai-assurance
Python
•
MIT License
•14•37•7•2•Updated Aug 13, 2026Aug 13, 2026
AdaptiveGDVB
Public
Python
•
MIT License
•0•0•0•0•Updated Jul 29, 2026Jul 29, 2026
publications
Public
Original PDFs for every publication in ThanhVu Nguyen's CV, organized by year
TeX
•0•0•0•0•Updated Jun 19, 2026Jun 19, 2026
relusplitter_vnncomp
Public
Python
•0•0•0•0•Updated May 9, 2026May 9, 2026
nnv
Public
book_nnv
TeX
•1•6•0•0•Updated May 8, 2026May 8, 2026
csconfs-index
Public
JavaScript
•0•1•0•0•Updated Apr 18, 2026Apr 18, 2026
VeriS
Public
Verifying Structural Robustness of Deep Neural Network (FSE'26)
specification safety-critical automated-reasoning
specification safety-critical automated-reasoning dnn-verification structural-robustness
Python
•0•1•0•0•Updated Apr 15, 2026Apr 15, 2026
VeriDou
Public
Verifying Neural Network Robustness with Dual Perturbations (CVPR'26)
Python
•
MIT License
•0•1•0•0•Updated Apr 15, 2026Apr 15, 2026
latex-cv
Public
academic cv in latex
TeX
•
Creative Commons Zero v1.0 Universal
•0•1•0•0•Updated Mar 27, 2026Mar 27, 2026
CSrankings
Public
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…
Python
•
Other
•3.9k•0•0•0•Updated Mar 3, 2026Mar 3, 2026
csgmu
Public
Searchable directory for the George Mason University Computer Science department. Browse faculty by name, rank, track, or research interest.
JavaScript
•
MIT License
•0•0•2•0•Updated Feb 20, 2026Feb 20, 2026
relusplitter
Public
Python
•0•0•0•0•Updated Jan 18, 2026Jan 18, 2026
gmu-stuff
Public
letterhead template LaTeX with university or company logo
TeX
•0•1•0•0•Updated Dec 12, 2025Dec 12, 2025
mason-nsf-db
Public
JavaScript
•0•0•0•0•Updated Oct 7, 2025Oct 7, 2025
thebestacademicwebsite
Public
The best academic website-satire
Creative Commons Zero v1.0 Universal
•0•0•0•0•Updated Sep 15, 2025Sep 15, 2025
perfectacademicwebsite
Public
0•0•0•0•Updated Sep 13, 2025Sep 13, 2025
nnv_papers
Public
Creative Commons Zero v1.0 Universal
•0•0•0•0•Updated Jul 26, 2025Jul 26, 2025

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

Roars Lab

All

55 repositories

health

cspicks

dig

vietprofs

bibtex

phd-cs-us

kfold

dynaroars.github.io

pdf-reload

date2cal

npbench

aptpchecker

csconfs

neuralsat

AdaptiveGDVB

publications

relusplitter_vnncomp

nnv

csconfs-index

VeriS

VeriDou

latex-cv

CSrankings

csgmu

relusplitter

gmu-stuff

mason-nsf-db

thebestacademicwebsite

perfectacademicwebsite

nnv_papers

Repositories list

55 repositories