Alternatives and similar repositories for math-functions

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

• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• ocharles / blog
  The contents of ocharles.org.uk/blog
  ☆66Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆80Updated last week
• snoyberg / xml
  Various XML utility packages for Haskell
  ☆73Updated 2 months ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 3 months ago
• ekmett / tagged
  phantom types
  ☆38Updated this week
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• haskell / base64-bytestring
  Fast base64 encoding and decoding for Haskell.
  ☆47Updated 2 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• ekmett / semigroups
  Haskell 98 semigroups
  ☆62Updated 2 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆62Updated 6 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• msgpack / msgpack-haskell
  Haskell implementation of MessagePack / msgpack.org[Haskell]
  ☆139Updated 2 years ago
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆75Updated 9 months ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• lens / lens-aeson
  Traversals and Prisms for Data.Aeson
  ☆52Updated 2 years ago
• haskell / process
  Library for dealing with system processes
  ☆90Updated 3 months ago
• dlicata335 / hott-agda
  ☆84Updated 8 years ago
• xgrommx / agda-ecosystem
  ☆32Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 9 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated 8 months ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆51Updated 3 months ago
• ekmett / bifunctors
  Haskell 98 bifunctors, bifoldables and bitraversables
  ☆58Updated 7 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆54Updated 6 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 3 weeks ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated last month
• byorgey / MonadRandom
  A monad transformer and corresponding type class for computations which consume random values.
  ☆34Updated 7 months ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 7 years ago