Alternatives and similar repositories for diagrams

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

• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆14Updated 10 months ago
• leanprover / KLR
  A formalization of ML kernel languages
  ☆22Updated this week
• michalkonecny / aern2
  A Haskell library for Approximating Exact Real Numbers (AERN) based on interval computation. (aern2 is a rewrite of aern.)
  ☆23Updated 4 months ago
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated last month
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆63Updated 2 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆39Updated last week
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 4 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆40Updated 3 years ago
• GaloisInc / lean4-balance-car
  Lean4 port of Arduino balance car controller
  ☆44Updated 4 years ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆29Updated 2 weeks ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• lecopivo / lean4-karray
  ☆13Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• cmu-phil / Spectral
  ☆47Updated 2 years ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• expipiplus1 / exact-real
  Exact real arithmetic in Haskell
  ☆25Updated 3 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆20Updated 5 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• jyp / glpk-hs
  Haskell bindings to glpk
  ☆13Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆49Updated last year
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆21Updated last year
• ionathanch / MutualInduction
  An experimental mutual induction tactic for Lean 4.
  ☆11Updated last week
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆22Updated 2 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 4 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆31Updated this week