Alternatives and similar repositories for diagrams-doc:

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

• cchalmers / plots
  Haskell plotting library
  ☆44Updated 5 months ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated last week
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• diagrams / diagrams-core
  Core types and utilities
  ☆94Updated 3 weeks ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated 11 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 5 months ago
• markokoleznik / agda-writer
  A simple GUI for Agda
  ☆31Updated 9 years ago
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 4 years ago
• chiroptical / ctfp-book-club
  Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
  ☆26Updated 2 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 3 months ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆163Updated 3 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated 3 weeks ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• HoTT / Archive
  Archived materials related to Homotopy Type Theory.
  ☆10Updated 12 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆29Updated 4 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆22Updated 7 years ago
• robrix / path
  A lambda calculus to explore type-directed program synthesis.
  ☆84Updated 5 years ago
• Saizan / cubical-demo
  ☆45Updated 5 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆129Updated this week
• qfpl / sv
  Comma (and other) separated values
  ☆77Updated last year
• DataHaskell / data-haskell-examples
  Examples of data analysis in Haskell
  ☆19Updated 7 years ago