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
  ☆32Updated 4 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 3 weeks ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated last month
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 3 months ago
• coq-quantum / CoqQ
  ☆27Updated 7 months ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆85Updated last week
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆62Updated 2 weeks ago
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆314Updated last week
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated last week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆182Updated 3 weeks ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆69Updated this week
• njuwfang / QuantumSE.jl
  A prototype tool for symbolic execution of quantum programs (QSE) with symbolic stabilizer states.
  ☆13Updated 11 months ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• yuewuo / mwpf
  Hypergraph Minimum-Weight Parity Factor (MWPF) Algorithm for Decoding General Quantum LDPC Codes
  ☆25Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆51Updated last month
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆52Updated last week
• CQCL / tket2
  Version 2 of the TKET quantum compiler
  ☆44Updated this week
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated last week
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆93Updated 2 weeks ago
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆34Updated 3 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆64Updated 3 weeks ago
• teorth / symmetric_project
  ☆92Updated last year
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆230Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆67Updated this week
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆18Updated last week
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆92Updated this week
• PicksPeng / SimuQ
  ☆33Updated 5 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆192Updated last week