Alternatives and similar repositories for math-grads

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

• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 5 months ago
• maciej-bendkowski / generic-boltzmann-brain
  Analytic sampler framework for algebraic data types
  ☆16Updated 2 years ago
• sellout / caterwaul
  Wailing into the primordial ooze of category theory
  ☆55Updated last month
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated this week
• bravit / tt-ghc-exercises
  ☆28Updated 7 years ago
• blamario / monoid-subclasses
  Subclasses of Monoid with a solid theoretical foundation and practical purposes
  ☆33Updated 3 months ago
• klapaucius / vector-hashtables
  ☆35Updated last week
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 6 months ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 7 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated 10 months ago
• 0xd34df00d / can-i-haz
  Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
  ☆14Updated 2 years ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• michaelt / tagless
  oleg modules
  ☆32Updated 12 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 3 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 4 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last month
• target / theta-idl
  Define communication protocols between applications using algebraic data types.
  ☆47Updated 2 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated last week
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆44Updated 7 months ago
• mwotton / squealgen
  generate haskell types for Squeal from a running postgresql database.
  ☆27Updated 4 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 3 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆40Updated 2 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 9 months ago
• int-index / caps
  Monadic capabilities with late binding
  ☆27Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 3 weeks ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 5 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year