Alternatives and similar repositories for math-functions

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

• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 3 months ago
• dreixel / generic-deriving
  ☆44Updated 2 months ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 3 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• Gabriella439 / Haskell-MMorph-Library
  Monad morphisms
  ☆50Updated 2 years ago
• lens / lens-aeson
  Traversals and Prisms for Data.Aeson
  ☆52Updated last year
• haskell / network-uri
  URI manipulation facilities
  ☆25Updated 2 months ago
• fpco / schoolofhaskell.com
  ☆16Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 9 months ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 8 months ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• haskell-perf / csv
  Simple comparative benchmarks for CSV parsing libraries
  ☆17Updated 6 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• ekmett / contravariant
  Haskell 98 contravariant functors
  ☆73Updated 7 months ago
• ku-fpg / hood
  Hood debugger, based on the idea of observing functions and structures as they are evaluated.
  ☆20Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• byteverse / posix-api
  haskell posix bindings
  ☆18Updated 2 months ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• fpco / optparse-simple
  Simple helper functions to work with optparse-applicative
  ☆29Updated 3 years ago
• haskell-hvr / rss
  A library for generating RSS 2.0 feeds.
  ☆18Updated last week
• haskell-compat / base-compat
  A compatibility layer for base
  ☆21Updated 5 months ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆74Updated 4 months ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆45Updated 5 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated 2 months ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• Gabriella439 / list-transformer
  List monad transformer
  ☆60Updated last year
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 10 months ago