Alternatives and similar repositories for wisq

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

• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆183Updated last month
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆145Updated this week
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 5 months ago
• trishullab / cflobdd
  ☆11Updated 11 months ago
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆83Updated last month
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆29Updated 6 months ago
• nyu-acsys / raven
  An automated deductive program verifier based on concurrent separation logic
  ☆18Updated 2 weeks ago
• microsoft / verus-proof-synthesis
  ☆37Updated this week
• hgarrereyn / SBVA
  Structured BVA
  ☆37Updated last year
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆118Updated 2 months ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆30Updated 4 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆86Updated this week
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆45Updated last month
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆62Updated 2 weeks ago
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆18Updated last month
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆87Updated 3 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• zhoulaifu / xsat
  A Fast Floating-Point Satisfiability Solver
  ☆28Updated 6 years ago
• verif-scop / PolCert
  A verified polyhedral scheduling validator in Coq.
  ☆21Updated 8 months ago
• model-checking / rust-lean-models
  Lean models of Rust libraries
  ☆14Updated 9 months ago
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆28Updated last month
• arnabd88 / Satire
  Scalable yet rigorous Floating-point Error Analysis
  ☆11Updated last year
• martin-cs / symfpu
  A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
  ☆40Updated 3 months ago
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆25Updated this week
• synduce / Synduce
  An automatic recursive function transformer.
  ☆10Updated last year
• logsem / iris-tutorial
  ☆52Updated 7 months ago
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆127Updated 3 weeks ago
• rutgers-apl / fpsanitizer
  A debugger to detect and diagnose numerical errors in floating point programs
  ☆12Updated 3 years ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago