Alternatives and similar repositories for holey:

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

• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆39Updated 2 years ago
• LASER-UMASS / TacTok
  The TacTok automated Coq proof script synthesis tool
  ☆17Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆26Updated this week
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆75Updated this week
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆12Updated 5 years ago
• Tritlo / PropR
  Genetic program repair using GHC
  ☆30Updated 10 months ago
• cole-k / cc-lemma
  Refreshing automation for inductive equational proofs using e-graphs
  ☆20Updated 9 months ago
• siddhartha-gadgil / lean-loris
  Experiments with some ways of automating reasoning in lean 4
  ☆16Updated 11 months ago
• fredfeng / CS190I
  Program Synthesis
  ☆14Updated 3 years ago
• dselsam / lean-gym
  ☆12Updated 2 years ago
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• rocq-community / rocq-lean-import
  ☆19Updated last week
• isabelle-prover / proving-contest-backends
  "proving-contest"-backends for several theorem provers
  ☆12Updated 5 months ago
• acorrenson / WiSE
  A formally verified bug finder
  ☆14Updated 4 months ago
• leanprover-community / plausible
  ☆40Updated last week
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year
• rishabhs / sygus-comp14
  ☆40Updated 5 years ago
• GaloisInc / reopt-vcg
  A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
  ☆15Updated 3 years ago
• opencompl / egg-tactic-code
  ☆16Updated last year
• yihozhang / egraph-sqlite
  egraph on top of sqlite
  ☆11Updated 3 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• dafny-lang / Dafny-VMC
  Dafny-VMC: a Library for Verified Monte Carlo Algorithms
  ☆15Updated 5 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆32Updated last week
• CertiGraph / CertiGraph
  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
  ☆18Updated this week
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated 5 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆68Updated 2 years ago
• philzook58 / eggmt
  Egraphs Modulo Theories
  ☆13Updated last month
• nadia-polikarpova / cyclegg
  Cyclic theorem prover for equalitional reasoning using egraphs
  ☆26Updated last year