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 3 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated last month
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 6 months ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆74Updated this week
• HEPLean / PhysLean
  A project to digitalise results from physics into Lean.
  ☆385Updated this week
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• coq-quantum / CoqQ
  ☆27Updated 10 months ago
• zxcalc / quizx
  A quick ZX calculus library written in Rust
  ☆74Updated 2 weeks ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆88Updated last month
• CQCL / guppylang
  Pythonic quantum-classical programming language
  ☆108Updated this week
• QuEraComputing / kirin
  Kernel Intermediate Representation Infrastructure
  ☆46Updated last week
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆76Updated last month
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated 3 weeks ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆19Updated 4 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• QSI-BAQS / Jabalizer.jl
  ☆23Updated last year
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• zxcalc / book
  Picturing Quantum Software: An Introduction to the ZX-Calculus and Quantum Compilation
  ☆108Updated 3 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆54Updated 2 weeks ago
• CQCL / tket2
  The TKET quantum compiler
  ☆46Updated last week
• tqec / topologiq
  Quantum computing > Algorithmic lattice surgery.
  ☆34Updated last week
• CQCL / hugr
  Hierarchical Unified Graph Representation for quantum and classical programs
  ☆49Updated last week
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆31Updated 3 weeks ago
• QuantumBFS / ZXCalculus.jl
  An implementation of ZX-calculus in Julia
  ☆52Updated last week
• esabo / CodingTheory
  A coding theory library for Julia.
  ☆35Updated last month
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆256Updated 2 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated last week
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆67Updated last month
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆76Updated last week