Alternatives and similar repositories for diagrams-doc

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

• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆61Updated 6 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 10 months ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated last month
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• TikhonJelvis / inductive-mazes
  Code for my blog post "Generating Mazes with Inductive Graphs"
  ☆41Updated 6 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆64Updated 9 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆15Updated 10 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 10 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 8 months ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated 8 months ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 3 months ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated last year
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated last year
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 7 months ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 4 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆56Updated 10 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• isovector / jazz
  i bet you there is a typesystem behind music
  ☆32Updated 6 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated last month
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago