Alternatives and similar repositories for CoqQ

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

• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 3 months ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated this week
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 3 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆103Updated last year
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆74Updated this week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆14Updated 3 weeks ago
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆20Updated this week
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆30Updated this week
• or1426 / Clifford-T-estimator
  ☆21Updated last year
• iitis / IntU
  Mathematica package for calculating polynomial integrals over the unitary group
  ☆12Updated 5 years ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆58Updated last month
• noahberthusen / qecc_routing
  Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.
  ☆9Updated 8 months ago
• quantumlib / chromobius
  Open-source implementation of a "mobius decoder" for colors codes used in quantum error correction (QEC)
  ☆16Updated last month
• GiggleLiu / QuantumMPS
  Variational Quantum Eigensolver with Fewer Qubits
  ☆25Updated 5 years ago
• PicksPeng / SimuQ
  ☆31Updated 2 months ago
• francois-marie / awesome-quantum-computing-experiments
  ☆14Updated 3 weeks ago
• learner-long-life / skc-python
  Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)
  ☆28Updated 6 years ago
• klinus9542 / QSI
  ☆16Updated 7 years ago
• CQCL / tket2
  Version 2 of the TKET quantum compiler
  ☆37Updated this week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆163Updated 5 years ago
• projekter / yquant
  Typesetting quantum circuits in a human-readable language
  ☆62Updated 3 months ago
• CHY-i / qecGPT
  Decoding Quantum Error Correction codes with Generative Pre-trained Transformers
  ☆35Updated last year
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆41Updated this week
• qecsim / Qecsim.jl
  Qecsim is a Julia package for simulating quantum error correction using stabilizer codes.
  ☆24Updated 3 years ago
• QuantumBFS / ZXCalculus.jl
  An implementation of ZX-calculus in Julia
  ☆51Updated 6 months ago
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆26Updated this week
• QSI-BAQS / Jabalizer.jl
  ☆23Updated 10 months ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆79Updated 6 months ago
• jangnur / Quanundrum
  A framework for simulating quantum mechanical thought experiments in projectq
  ☆14Updated 2 years ago