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
  ☆39Updated 2 weeks ago
• coq-quantum / CoqQ
  ☆27Updated 9 months ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 4 months ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆356Updated this week
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆86Updated 3 weeks ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆74Updated last week
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆69Updated this week
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆41Updated last week
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆83Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated last month
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆14Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• QSI-BAQS / Jabalizer.jl
  ☆23Updated last year
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆33Updated last month
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆67Updated this week
• CQCL / tket2
  The TKET quantum compiler
  ☆42Updated this week
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated this week
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆97Updated last month
• evanhockings / QuantumACES.jl
  Design scalable noise characterisation experiments for quantum computers
  ☆28Updated last month
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆241Updated 3 weeks ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆21Updated last week
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆29Updated last month
• sbravyi / symmetric_group_characters
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆10Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆188Updated last month
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆46Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated 3 weeks ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆75Updated last month