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
  ☆23Updated 3 years ago
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆26Updated last month
• HEPLean / HepLean
  A project to digitalise results from high energy physics into Lean.
  ☆95Updated this week
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆53Updated 2 months ago
• projekter / yquant
  Typesetting quantum circuits in a human-readable language
  ☆58Updated last year
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆81Updated 4 months ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆65Updated this week
• errorcorrectionzoo / eczoo_data
  Content of the Error Correction Zoo, stored in structured YAML format
  ☆54Updated this week
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆34Updated 2 months ago
• or1426 / Clifford-T-estimator
  ☆21Updated last year
• coq-quantum / CoqQ
  ☆19Updated 2 weeks ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆95Updated last year
• PECOS-packages / PECOS
  A Python framework, library, and set of tools for exploring, developing, and evaluating quantum error-correction protocols.
  ☆33Updated this week
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆67Updated 2 months ago
• leanprover-community / mathzoo
  Lean mathzoo
  ☆24Updated 2 years ago
• oscarhiggott / stimbposd
  A package for decoding Stim circuits using belief propagation with ordered statistics decoding (BP+OSD)
  ☆25Updated 10 months ago
• girving / interval
  Conservative floating point interval arithmetic in Lean
  ☆11Updated 2 weeks ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆142Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated this week
• siddhartha-gadgil / LeanAide
  Tools based on AI for helping with Lean 4
  ☆68Updated this week
• PicksPeng / SimuQ
  ☆32Updated 4 months ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆56Updated last month
• cda-tum / mqt-ddsim
  MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++
  ☆145Updated this week
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆42Updated 7 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 2 months ago
• panqec / panqec
  Simulation and visualization of quantum error correcting codes
  ☆61Updated 2 months ago
• iitis / IntU
  Mathematica package for calculating polynomial integrals over the unitary group
  ☆12Updated 4 years ago
• boschmitt / tweedledum
  C++17 Library for analysis, compilation/synthesis, and optimization of quantum circuits
  ☆99Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆41Updated 3 years ago
• cgranade / python-quaec
  A library for working with quantum error correction.
  ☆49Updated last year