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
  ☆31Updated 4 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆88Updated 2 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 2 weeks ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆72Updated this week
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 5 months ago
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆93Updated this week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆88Updated last week
• coq-quantum / CoqQ
  ☆27Updated 9 months ago
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆73Updated 3 weeks ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆44Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆367Updated this week
• CQCL / tket2
  The TKET quantum compiler
  ☆45Updated this week
• tqec / topologiq
  Quantum computing > Algorithmic lattice surgery.
  ☆30Updated 3 weeks ago
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆28Updated 2 months ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆30Updated 2 months ago
• QSI-BAQS / Jabalizer.jl
  ☆23Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆102Updated 2 months ago
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆49Updated this week
• PsiQ / bartiq
  Bartiq
  ☆42Updated this week
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆34Updated 2 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 2 weeks ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆75Updated last month
• sbravyi / symmetric_group_characters
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆10Updated last month
• projekter / yquant
  Typesetting quantum circuits in a human-readable language
  ☆66Updated 3 weeks ago
• errorcorrectionzoo / eczoo_data
  Content of the Error Correction Zoo, stored in structured YAML format
  ☆63Updated this week
• PicksPeng / SimuQ
  ☆34Updated 7 months ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated this week