Alternatives and similar repositories for math-grads:

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

• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 6 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 months ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated last week
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 7 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• 0xd34df00d / can-i-haz
  Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
  ☆14Updated last year
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• BioHaskell / octree
  Octree is a shallow tree structure for 3-dimensional points
  ☆20Updated 4 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 6 months ago
• jameshaydon / smproc
  A well-typed symmetric-monoidal category of concurrent processes
  ☆24Updated 6 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 8 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 7 months ago
• rpeszek / IdrisTddNotes
  Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
  ☆48Updated 3 years ago
• klapaucius / vector-hashtables
  ☆34Updated 11 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 7 months ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 months ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 6 years ago
• dmoverton / finite-domain
  Finite domain constraint solver in Haskell
  ☆19Updated 3 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated 8 months ago
• pigworker / Saturday
  being a thing I build on a Saturday
  ☆28Updated 7 years ago
• ekmett / profunctors
  Haskell 98 Profunctors
  ☆71Updated this week
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• sirlensalot / fadno-xml
  XML/XSD combinators/schemas/codegen, plus MusicXML
  ☆17Updated last year
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 3 months ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated last week