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
  ☆91Updated 5 months ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆89Updated 3 weeks ago
• quantum-compiler / quartz
  The Quartz Quantum Compiler
  ☆88Updated last month
• quantum-compiler / atlas
  The Atlas multi-GPU quantum circuit simulator.
  ☆15Updated last year
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 7 months ago
• qqq-wisc / satmap
  ☆17Updated last year
• pnnl / QASMBench
  A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.
  ☆143Updated 11 months ago
• openqasm / qe-compiler
  An MLIR based compiler dynamic circuit compiler for real-time control systems supporting OpenQASM 3
  ☆63Updated last year
• Quantinuum / guppylang
  Pythonic quantum-classical programming language
  ☆114Updated this week
• PennyLaneAI / catalyst
  A JIT compiler for hybrid quantum programs in PennyLane
  ☆196Updated last week
• yuewuo / fusion-blossom
  A fast minimum-weight perfect matching solver for quantum error correction
  ☆77Updated 5 months ago
• philzook58 / awesome-egraphs
  An awesome list of e-graph resources
  ☆279Updated 3 weeks ago
• Veri-Q / Benchmark
  ☆28Updated 8 months ago
• opencompl / QMLIR
  A prototype of an SSA-based quantum IR exploiting value semantics
  ☆12Updated last year
• epiqc / ScaffCC
  Compilation, analysis and optimization framework for the Scaffold quantum programming language.
  ☆196Updated 4 years ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆96Updated 2 weeks ago
• 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
  ☆119Updated 5 months ago
• zxcalc / pyzx
  Python library for quantum circuit rewriting and optimisation using the ZX-calculus
  ☆484Updated this week
• Quantinuum / tket2
  The TKET quantum compiler
  ☆47Updated last week
• coq-quantum / CoqQ
  ☆28Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆205Updated this week
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆76Updated 2 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 3 months ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆105Updated 2 years ago
• openqasm / qe-qasm
  A LALR(1) OpenQASM Parser and AST Generator.
  ☆13Updated last year
• softwareQinc / staq
  Full-stack quantum processing toolkit
  ☆181Updated 3 weeks ago
• ajavadia / Scaffold-Compiler
  Scaffold Compiler Collection
  ☆15Updated 9 years ago
• qir-alliance / pyqir
  PyQIR is a set of APIs for generating, parsing, and evaluating Quantum Intermediate Representation (QIR).
  ☆72Updated 2 weeks ago