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
  ☆88Updated 4 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated last month
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 6 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆75Updated 3 weeks ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆89Updated last week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆398Updated this week
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆74Updated last week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated this week
• CQCL / tket2
  The TKET quantum compiler
  ☆46Updated last week
• coq-quantum / CoqQ
  ☆28Updated 11 months ago
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆74Updated last month
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆23Updated 2 weeks ago
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆111Updated this week
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆28Updated last week
• sbravyi / symmetric_group_characters
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆10Updated 2 months ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆197Updated this week
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆34Updated 3 months ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆110Updated 4 months ago
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆46Updated this week
• tqec / topologiq
  Quantum computing > Algorithmic lattice surgery.
  ☆38Updated this week
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆50Updated this week
• teorth / symmetric_project
  ☆93Updated 2 years ago
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆36Updated last month
• seokhyung-lee / OptGraphState
  Graph-theoretical optimization of fusion-based graph state generation
  ☆10Updated 6 months ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆19Updated 4 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆123Updated last year
• QSI-BAQS / Jabalizer.jl
  ☆23Updated last year