Alternatives and similar repositories for diagrams:

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

• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 2 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 10 months ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 11 months ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆12Updated last year
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆36Updated this week
• tydeu / lean4-itertools
  A Lean 4 library for iterators.
  ☆11Updated last year
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆59Updated 3 months ago
• andrejbauer / andromeda
  A minimalist implementation of type theory, suitable for experimentation
  ☆15Updated 6 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 6 months ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated 5 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• emilyriehl / yoneda
  comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories
  ☆62Updated 6 months ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• ccodel / verified-encodings
  Verifying encodings into propositional logic in Lean
  ☆12Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• homotopy-io / homotopy-webclient
  ☆27Updated 11 months ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆22Updated 3 weeks ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 weeks ago
• cmu-phil / Spectral
  ☆46Updated last year
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 5 years ago
• TOTBWF / cubical-categories
  Category theory formalized in cubical agda
  ☆20Updated 5 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago