Alternatives and similar repositories for diagrams:

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

• andriusstank / downhill
  ☆20Updated last year
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆11Updated 10 months ago
• DavidJaz / DynamicalSystemsBook
  ☆43Updated 8 months ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆13Updated 4 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆12Updated last year
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 3 weeks ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• emc2 / arith-encode
  Practical arithmetic encoding (aka Gödel numbering) library for Haskell.
  ☆10Updated 5 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 7 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆19Updated this week
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆19Updated last year
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 9 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆34Updated this week
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• Lysxia / system-F
  Formalization of the polymorphic lambda calculus and its parametricity theorem
  ☆34Updated 5 years ago
• homotopy-io / homotopy-webclient
  ☆27Updated 8 months ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• david-christiansen / bob24
  ☆13Updated 10 months ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆39Updated 2 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year