Alternatives and similar repositories for VyZX:

Users that are interested in VyZX are comparing it to the libraries listed below

• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆37Updated last month
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆81Updated last month
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆96Updated last year
• coq-quantum / CoqQ
  ☆20Updated last month
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 3 years ago
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated 8 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆109Updated 3 months ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆160Updated 5 years ago
• coq-community / trocq
  A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
  ☆20Updated last week
• verse-lab / splean
  Separation Logic Proofs in Lean
  ☆34Updated 2 months ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• rocq-archive / stdlib2
  ☆38Updated last year
• b-mehta / topos
  Topos theory in lean
  ☆58Updated 4 years ago
• zxcalc / zxlive
  A graphical tool for the ZX calculus
  ☆54Updated this week
• DavidJaz / DynamicalSystemsBook
  ☆46Updated 9 months ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• charguer / tlc
  Library for Classical Coq
  ☆39Updated last week
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated last month
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆64Updated last year
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆27Updated last week
• rigetti / oqaml
  An OCaml based implementation of a Quil QVM
  ☆37Updated 6 years ago
• meamy / feynman
  Quantum circuit analysis toolkit
  ☆67Updated this week
• LPCIC / coq-elpi
  Coq plugin embedding elpi
  ☆163Updated this week
• math-comp / tutorial_material
  proof script associated to tutorial material
  ☆17Updated last year
• Coq-Polyhedra / Coq-Polyhedra
  Formalizing convex polyhedra in Coq
  ☆22Updated 7 months ago
• coq-universe / coq-universe
  We aim to provide a composed build of all active Coq developments in existence
  ☆12Updated last year
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated this week
• rocq-archive / zfc
  An encoding of Zermelo-Fraenkel Set Theory in Coq
  ☆23Updated 2 years ago