Alternatives and similar repositories for wisq

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

• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆87Updated last week
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆256Updated 2 weeks ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated 3 months ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆192Updated last week
• quantum-compiler / atlas
  ☆14Updated last year
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆89Updated 7 months ago
• microsoft / verus-proof-synthesis
  ☆49Updated last month
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆134Updated this week
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 5 months ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆88Updated 3 weeks ago
• meelgroup / ganak
  High-performance model counter
  ☆50Updated last week
• meelgroup / approxmc
  Approximate Model Counter
  ☆80Updated last month
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆36Updated last month
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆23Updated this week
• awslabs / aws-lc-verification
  This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…
  ☆60Updated last week
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆26Updated last week
• uwplse / ruler
  Rewrite Rule Inference Using Equality Saturation
  ☆142Updated 5 months ago
• marijnheule / drat-trim
  The DRAT-trim proof checker
  ☆67Updated 11 months ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆12Updated 3 months ago
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆12Updated last year
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆138Updated 7 months ago
• qqq-wisc / satmap
  ☆17Updated last year
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆69Updated 2 years ago
• dtcxzyw / llvm-opt-benchmark
  An LLVM IR dataset for data-driven compiler optimization research
  ☆69Updated this week
• CertiCoq / VeriFFI
  VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification …
  ☆45Updated 10 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆70Updated 3 weeks ago
• arminbiere / gimsatul
  ☆35Updated 3 months ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆191Updated last week
• BuildIt-lang / buildit
  Online demo without installing at - https://buildit.so/tryit
  ☆184Updated this week