Alternatives and similar repositories for autoreject

Users that are interested in autoreject are comparing it to the libraries listed below

• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆103Updated 5 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆70Updated 6 years ago
• typilus / typilus
  Code for "Typilus: Neural Type Hints" PLDI 2020
  ☆62Updated 3 years ago
• kohler / hotcrp
  HotCRP conference review software
  ☆394Updated this week
• csfaculty / csfaculty.github.io
  Interview questions for Computer Science faculty jobs
  ☆43Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 3 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆20Updated 4 years ago
• cucapra / styleguide
  rules for writing and typesetting
  ☆25Updated 4 years ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆22Updated 2 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆196Updated 2 months ago
• lorisdanto / automatark
  Benchmark problems for different models of automata, transducers, and related logics
  ☆30Updated 4 months ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆56Updated 8 months ago
• ChrisCummins / phd
  👨‍💻 My PhD.
  ☆189Updated 3 years ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• dhil / inf-thesis-latex-cls
  A LaTeX Class for Informatics theses at The University of Edinburgh
  ☆34Updated 3 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆42Updated 2 years ago
• eth-sri / fastsmt
  Learning to Solve SMT Formulas Fast
  ☆90Updated last year
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 5 years ago
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆216Updated last year
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆101Updated 3 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆170Updated last month
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆30Updated 5 years ago
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆40Updated 4 months ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• MrVPlusOne / LambdaNet
  Probabilistic Type Inference using Graph Neural Networks
  ☆50Updated 3 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆29Updated 8 months ago
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆27Updated 2 years ago