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
  ☆88Updated last month
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆31Updated 4 years ago
• Timeroot / Lean-QuantumInfo
  Quantum information theory in Lean 4
  ☆39Updated last week
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 4 months ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆86Updated 2 weeks ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated last week
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated 2 weeks ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• sbravyi / symmetric_group_characters
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆10Updated 7 months ago
• PicksPeng / SimuQ
  ☆34Updated 6 months ago
• Strilanc / magic-state-cultivation
  Code for the paper "Magic state cultivation: growing T states as cheap as CNOT gates"
  ☆19Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• FabianMaeurer / TensorCategories.jl
  Category Theory Framework
  ☆16Updated 3 weeks ago
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆82Updated this week
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆40Updated this week
• noahberthusen / qecc_routing
  Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.
  ☆10Updated last year
• seokhyung-lee / color-code-stim
  Python package for simulating & decoding color code circuits.
  ☆22Updated last month
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆67Updated this week
• CQCL / tket2
  The TKET quantum compiler
  ☆42Updated last week
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆29Updated last month
• TensorBFS / CuTropicalGEMM.jl
  The fastest Tropical number matrix multiplication on GPU
  ☆10Updated last month
• seokhyung-lee / OptGraphState
  Graph-theoretical optimization of fusion-based graph state generation
  ☆10Updated 3 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆54Updated last year
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆96Updated last month
• inmzhang / leaky
  An implementation of Google's Pauli+ simulator
  ☆13Updated last month
• riverlane / pauli_lcu
  Fast Pauli Decomposition and its inverse
  ☆19Updated 4 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆350Updated this week
• nzy1997 / qec-thrust
  ☆10Updated last month
• CHY-i / qecGPT
  Decoding Quantum Error Correction codes with Generative Pre-trained Transformers
  ☆36Updated last year
• GiggleLiu / ProblemReductions.jl
  Reduction between computational hard problems.
  ☆12Updated this week