Alternatives and similar repositories for wisq

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

• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆90Updated 6 months ago
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆88Updated last month
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆89Updated this week
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• openqasm / qe-compiler
  An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
  ☆62Updated last year
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆286Updated 3 weeks ago
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆196Updated last week
• quantum-compiler / atlas
  The Atlas multi-GPU quantum circuit simulator.
  ☆15Updated last year
• epiqc / ScaffCC
  Compilation, analysis and optimization framework for the Scaffold quantum programming language.
  ☆198Updated 4 years ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆207Updated this week
• Quantinuum / guppylang
  Pythonic quantum-classical programming language
  ☆118Updated this week
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆144Updated last year
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆100Updated 3 weeks ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 8 months ago
• coq-quantum / CoqQ
  ☆28Updated last year
• Quantinuum / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆55Updated last week
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆123Updated 2 weeks ago
• qqq-wisc / satmap
  ☆17Updated 2 years ago
• Veri-Q / Benchmark
  ☆28Updated 9 months ago
• FlorentAvellaneda / EvalMaxSAT
  State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques
  ☆28Updated 2 months ago
• yuewuo / fusion-blossom
  A fast minimum-weight perfect matching solver for quantum error correction
  ☆76Updated 6 months ago
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆12Updated 2 years ago
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆180Updated last week
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆51Updated 2 weeks ago
• zxcalc / pyzx
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus
  ☆491Updated last week
• munich-quantum-toolkit / ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆156Updated last week
• muhos / ParaFROST
  A Parallel SAT Solver with GPU Accelerated Inprocessing
  ☆138Updated last month
• cvc5 / ethos
  A Flexible and Efficient Proof Checker for SMT Solvers
  ☆26Updated last week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆34Updated 4 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 3 months ago