uds-se / autoreject

Related projects ⓘ

Alternatives and complementary repositories for autoreject

• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆36Updated 8 months ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆29Updated 4 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆67Updated 5 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆85Updated 3 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆24Updated 3 weeks ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆59Updated last year
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆24Updated 2 years ago
• learnbigcode / learnbigcode.github.io
  Website for Learning from "Big Code"
  ☆29Updated 3 years ago
• BugSwarm / bugswarm
  ☆31Updated last week
• bajinsheng / bibtidy
  Search, check, and autofix your BibTex files!
  ☆25Updated 7 months ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆112Updated 2 months ago
• fredfeng / Trinity
  ☆24Updated 2 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated last year
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆206Updated this week
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆39Updated 2 months ago
• mast-group / eqnet
  Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.
  ☆36Updated 7 years ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated last year
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆20Updated last year
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆43Updated 4 years ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆28Updated last month
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆26Updated 6 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 6 months ago
• wslee / euphony
  Euphony: a probabilistic model-guided program synthesizer
  ☆25Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• squares-sql / SQUARES
  A SQL and R Synthesizer Using Query Reverse Engineering
  ☆25Updated 4 years ago