Alternatives and similar repositories for CoqQ

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

• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 5 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 2 months ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆11Updated 10 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated this week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆79Updated this week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆29Updated 4 years ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated last month
• Strilanc / magic-state-cultivation
  Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"
  ☆17Updated 9 months ago
• noahberthusen / qecc_routing
  Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.
  ☆10Updated 10 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆60Updated last month
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆44Updated last week
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆30Updated this week
• CQCL / tket2
  Version 2 of the TKET quantum compiler
  ☆39Updated this week
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆28Updated this week
• or1426 / Clifford-T-estimator
  ☆21Updated 2 years ago
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆32Updated 2 months ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• PicksPeng / SimuQ
  ☆33Updated 4 months ago
• iitis / IntU
  Mathematica package for calculating polynomial integrals over the unitary group
  ☆13Updated 5 years ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆88Updated 8 months ago
• seokhyung-lee / color-code-stim
  Python package for simulating & decoding color code circuits.
  ☆13Updated last week
• francois-marie / awesome-quantum-computing-experiments
  ☆41Updated this week
• CQCL / SSIP
  ☆13Updated last year
• QSI-BAQS / Jabalizer.jl
  ☆23Updated last year
• seokhyung-lee / OptGraphState
  Graph-theoretical optimization of fusion-based graph state generation
  ☆10Updated last month
• riverlane / pauli_lcu
  Fast Pauli Decomposition and its inverse
  ☆15Updated last month
• CHY-i / qecGPT
  Decoding Quantum Error Correction codes with Generative Pre-trained Transformers
  ☆35Updated last year
• njross / simcount
  Quantum algorithms for the simulation of Hamiltonian dynamics.
  ☆28Updated 2 years ago
• quantumlib / chromobius
  Open-source implementation of a "mobius decoder" for colors codes used in quantum error correction (QEC)
  ☆19Updated 3 months ago
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆64Updated 2 weeks ago