Alternatives and similar repositories for Lean-QuantumInfo

Users that are interested in Lean-QuantumInfo are comparing it to the libraries listed below

• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆34Updated 4 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆91Updated 6 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆80Updated last week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆89Updated last week
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 8 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 3 months ago
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆78Updated 3 months ago
• coq-quantum / CoqQ
  ☆28Updated last year
• Quantinuum / guppylang
  Pythonic quantum-classical programming language
  ☆120Updated this week
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆51Updated 3 weeks ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆37Updated 5 months ago
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆29Updated 2 months ago
• Quantinuum / tket2
  The TKET quantum compiler
  ☆48Updated this week
• sbravyi / symmetric_group_characters
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆11Updated 4 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆466Updated this week
• PicksPeng / SimuQ
  ☆36Updated 11 months ago
• learner-long-life / skc-python
  Quantum compiler using the Solovay-Kitaev algorithm for n-qubits, i.e. SU(d=2^n)
  ☆29Updated 7 years ago
• errorcorrectionzoo / eczoo_data
  Content of the Error Correction Zoo, stored in structured YAML format
  ☆69Updated this week
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆37Updated last week
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• QSI-BAQS / Jabalizer.jl
  ☆24Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• leanprover-community / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆94Updated last week
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated 3 weeks ago
• Quantinuum / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆55Updated last week
• noahberthusen / qecc_routing
  Circuit level simulations of a 2D local architecture implementing error correction with bivariate bicycle codes.
  ☆12Updated last year
• seokhyung-lee / color-code-stim
  Python package for simulating & decoding color code circuits.
  ☆26Updated 5 months ago
• projekter / yquant
  Typesetting quantum circuits in a human-readable language
  ☆68Updated last month