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
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• klapaucius / vector-hashtables
  ☆33Updated 9 months ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 3 weeks ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 6 months ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 7 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• sequents / code
  Proof theory seminar
  ☆33Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 11 months ago
• MaxOw / RuneSlayer
  RPG languages learning tool
  ☆38Updated 5 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 4 months ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• BioHaskell / octree
  Octree is a shallow tree structure for 3-dimensional points
  ☆20Updated 4 years ago
• BioHaskell / hPDB
  PDB parser in Haskell
  ☆21Updated last year
• mpickering / hs-speedscope
  ☆31Updated 3 weeks ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 4 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 2 months ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• rethab / bindings-dsl
  Library and macros to simplify writing Haskell FFI code
  ☆39Updated 2 years ago
• groupoid / groupoid.space
  🧊 Інститут формальної математики
  ☆34Updated last month
• 0xd34df00d / can-i-haz
  Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError
  ☆14Updated last year
• mwotton / squealgen
  generate haskell types for Squeal from a running postgresql database.
  ☆27Updated 3 years ago
• berewt / acme-haskellee
  Haskell Enterprise Edition
  ☆12Updated 7 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆29Updated 3 years ago