Alternatives and similar repositories for math-grads:

Users that are interested in math-grads are comparing it to the libraries listed below

• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 2 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 10 months ago
• sequents / code
  Proof theory seminar
  ☆32Updated 3 years ago
• klapaucius / vector-hashtables
  ☆33Updated 8 months ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆39Updated 5 years ago
• Quid2 / zm
  Language independent, reproducible, absolute types.
  ☆22Updated 5 months ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• BioHaskell / octree
  Octree is a shallow tree structure for 3-dimensional points
  ☆20Updated 4 years ago
• haskell-github-trust / replace-attoparsec
  Stream editing with Haskell Attoparsec parsers
  ☆14Updated last year
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated last month
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆35Updated 2 weeks ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 8 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 5 months ago
• mjhopkins / category-cheat-sheet
  Cheat sheet for Haskellers wanting to get up to speed with category theory
  ☆12Updated 4 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 5 years ago
• haskell-works / hw-xml
  ☆15Updated last year
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated 2 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 weeks ago
• frex-project / haskell-frex
  ☆23Updated last year
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago