Repositories list

• phd-cs-us

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

  computer-scienceuniversitybook+ 7

  computer-scienceuniversitybookcsphdhigher-educationinternationalgraduate-schoolphd-admissiongradadmission

  TeX

  •

  Other

  •2929 forks•298298 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• nnv

  Public
  book_nnv

  TeX

  •11 fork•55 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• dynaroars.github.io

  Public
  Roars Website

  website

  website

  HTML

  •66 forks•7070 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• csconfs

  Public
  Tracking Deadlines of Major Conferences in Computer Science

  computer-scienceweb-appconferences+ 4

  computer-scienceweb-appconferencespublicationssoftware-engineeringtravel-locationsdeadlines

  JavaScript

  •

  MIT License

  •1111 forks•1010 stars•11 issue•11 pull request•Updated Apr 28, 2026Apr 28, 2026

• csconfs-index

  Public
  JavaScript

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 18, 2026Apr 18, 2026

• VeriS

  Public
  Verifying Structural Robustness of Deep Neural Network (FSE'26)

  specificationsafety-criticalautomated-reasoning+ 2

  specificationsafety-criticalautomated-reasoningdnn-verificationstructural-robustness

  Python

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 15, 2026Apr 15, 2026

• VeriDou

  Public
  Verifying Neural Network Robustness with Dual Perturbations (CVPR'26)

  Python

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Apr 15, 2026Apr 15, 2026

• cspicks

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

  computer-sciencerankingscs+ 2

  computer-sciencerankingscscs-profscs-areas

  JavaScript

  •

  MIT License

  •11 fork•33 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• bibtex

  Public
  temp

  JavaScript

  •11 fork•44 stars•00 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• neuralsat

  Public
  DPLL(T)-based Verification tool for DNNs

  abstractionsat-solversoftware-verification+ 8

  abstractionsat-solversoftware-verificationai-safetyrobustnessdplladversarial-attacksrobustness-verificationdnn-verificationai-assurance+ 1

  Python

  •

  MIT License

  •1212 forks•3131 stars•55 issues•11 pull request•Updated Apr 2, 2026Apr 2, 2026

• aptpchecker

  Public
  Checking DNN Verification Proofs

  Python

  •00 forks•22 stars•00 issues•00 pull requests•Updated Mar 31, 2026Mar 31, 2026

• latex-cv

  Public
  academic cv in latex

  TeX

  •

  Creative Commons Zero v1.0 Universal

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 27, 2026Mar 27, 2026

• relusplitter_vnncomp

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 15, 2026Mar 15, 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.9k3.9k forks•00 stars•00 issues•00 pull requests•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

  •00 forks•00 stars•22 issues•00 pull requests•Updated Feb 20, 2026Feb 20, 2026

• relusplitter

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 18, 2026Jan 18, 2026

• gmu-stuff

  Public
  letterhead template LaTeX with university or company logo

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 12, 2025Dec 12, 2025

• marshallchessclub

  Public
  Marshall Elementary Chess Club (Manassas)

  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 1, 2025Nov 1, 2025

• mason-nsf-db

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 7, 2025Oct 7, 2025

• thebestacademicwebsite

  Public
  The best academic website-satire

  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 15, 2025Sep 15, 2025

• perfectacademicwebsite

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Sep 13, 2025Sep 13, 2025

• AdaptiveGDVB

  Public
  Python

  •

  MIT License

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 10, 2025Sep 10, 2025

• nnv_papers

  Public
  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 26, 2025Jul 26, 2025

• PyExZ3

  Public
  Python Exploration with Z3

  HTML

  •

  Other

  •5151 forks•00 stars•00 issues•00 pull requests•Updated Jul 13, 2025Jul 13, 2025

• 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-learningsymbolic-executiondynamic-analysis+ 5

  machine-learningsymbolic-executiondynamic-analysisprogram-verificationloop-invariantsinvariant-generationspecification-miningneural-network-verification

  Python

  •

  MIT License

  •77 forks•5555 stars•55 issues•00 pull requests•Updated May 24, 2025May 24, 2025

• npbench

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

  np-hardnp-completebenchmarks+ 1

  np-hardnp-completebenchmarksdimacs

  TeX

  •11 fork•1515 stars•00 issues•00 pull requests•Updated May 21, 2025May 21, 2025

• csconf-points

  Public
  Funny CS Conference Points

  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 17, 2025May 17, 2025

• CombStruct4Lean

  Public
  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 16, 2025May 16, 2025

• .github

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 14, 2025Apr 14, 2025

• COOL-Language-Support

  Public
  Python

  •00 forks•33 stars•00 issues•00 pull requests•Updated Mar 18, 2025Mar 18, 2025