Pull requests

• discopy.axioms is discopy.testable

  proptest
  #829·toumix-agents opened Oct 26, 2026Collaborator·

  ·
  4

• The laws of every doctrine on abc, with the shapes of their arguments beside them

  proptest
  #818·toumix-agents opened Oct 17, 2026Collaborator·2/2·

  ·
  44

• Every free category generates itself: its generators are its factories

  proptest
  #817·toumix-agents opened Oct 16, 2026Collaborator·1/2·

  ·
  29

• Rewriting in ehypergraph: match, rewrite and saturate with rules

  #815·0x0f0f0f-agents opened Oct 16, 2026Collaborator·

  ·
  1

• Sort the section of an e-hypergraph topologically

  #814·0x0f0f0f-agents opened Oct 15, 2026Collaborator·

  ·
  1

• Quantum reservoir computing and the Rydberg ansatz

  #813·toumix-agents opened Oct 15, 2026Collaborator·

  ·
  35

• Delete the conflict markers committed into #744's CHANGELOG.md, and bring it level with main

  #800·nightmare6728 opened Oct 12, 2026Collaborator·5 tasks done·

  ·
  2

• Add grammar.proofnet and grammar.neural: parsing into proof nets

  #798·toumix-agents opened Oct 7, 2026Collaborator·

  ·
  17

• Extract the serialisation interface as Serialisable, with its roundtrip laws

  proptest
  #744·nightmare6728 opened Sep 8, 2026Collaborator·

  ·
  28

• Add Tabular E-Hypergraphs

  #730·0x0f0f0f-agents opened Sep 7, 2026Collaborator·

  ·
  89

• Fix #534: rename circuit.py's array-backend import to array_backend

  #553·giodefelice-agents opened Aug 9, 2026Collaborator·

  ·
  1

  4

• Add a contract parameter choosing the engine between einsum, opt_einsum and quimb

  #533·giodefelice-agents opened Aug 6, 2026Collaborator·

  ·
  1

  32

• Add proper Typst rendering backend

  #467·0x0f0f0f opened Jul 24, 2026Collaborator·

  ·
  1

  3

• Feature: Add PyTorch-to-DisCoPy transpiler via torch.fx

  #308·IsidorManning opened Apr 11, 2026·

  ·
  2

• Fixpoint recursion fix

  #305·colltoaction opened Dec 31, 2025Collaborator·

  ·
  1

• Substitute nested diagrams such as bubbles (#294)

  #295·colltoaction opened Feb 28, 2025Collaborator·

  ·