Alternatives and similar repositories for zx-calculus:

Users that are interested in zx-calculus are comparing it to the libraries listed below

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated this week
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 2 months ago
• thery / grobner
  A fornalisation of Grobner basis in ssreflect
  ☆12Updated 3 months ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• LocalCharts / silviculture
  ☆15Updated 9 months ago
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆11Updated last year
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆25Updated this week
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 6 months ago
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 3 years ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated 3 weeks ago
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆22Updated 2 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• awodey / joyal
  ☆14Updated 9 months ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last month
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 months ago
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 2 months ago
• Kha / do-supplement
  Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"
  ☆13Updated last month
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆26Updated 8 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆19Updated 2 months ago
• rzk-lang / hottbook
  HoTT Book formalisations in Rzk.
  ☆17Updated last year
• rocq-community / apery
  A formal proof of the irrationality of zeta(3), the Apéry constant [maintainer=@amahboubi,@pi8027]
  ☆23Updated this week
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆30Updated last year