Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today. Learn more →
Top 23 Haskell Math Projects


Two things that might help Rust a lot despite the complexity is the tooling and the ecosystem. Cargo is good, the compiler is extremely helpful, and there are a lot of crates to build on for all sorts of tasks.
For example, if I need to use simulated annealing to solve an optimization problem, there already exist libraries that implement that algorithm well.[1] Unfortunately, the Haskell library for this seems to be unmaintained[2] and so does the OCaml library that I can find.[3] Similarly, Agda, Idris, and Lean 4 all seem like great languages. But not having libraries for one's tasks is a big obstacle to adoption.
Nim looks very promising. (Surprisingly so to me.) Hopefully they will succeed at gaining wider recognition and growing a healthy ecosystem.
[1] E.g., https://github.com/argminrs/argmin
[2] https://hackage.haskell.org/package/hmatrixgsl0.19.0.1 was released in 2018. (Although there are newer commits in the GitHub repo, https://github.com/haskellnumerics/hmatrix. Not too sure what is going on.)

InfluxDB
Build timeseriesbased applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build realtime applications for analytics, IoT and cloudnative services. Easy to start, it is available in the cloud or onpremises.

vector
An efficient implementation of Intindexed arrays (both mutable and immutable), with a powerful loop optimisation framework . (by haskell)
Project mention: How to derive newtype instances for Data.Vector.Unboxed?  reddit.com/r/haskell  20221120One can find a corrected snippet at https://github.com/haskell/vector/pull/450

I’ll also link the ad package here in case someone can speak to its value over backprop https://github.com/ekmett/ad



Linear.Quaternion.Quaterion from the linear package has a Num instance, and quaternion multiplication is noncommutative.

SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.


hgeometry
HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.



dimensional
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).




numhask
A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.


poly
Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent) (by Bodigrim)

Sampling is the easy part ;) BTW there were already basic Haskell libraries for random sampling : `mwcrandom` (https://hackage.haskell.org/package/mwcrandom), `splitmixdistributions` https://hackage.haskell.org/package/splitmixdistributions1.0.0/docs/SystemRandomSplitMixDistributions.html




SaaSHub
SaaSHub  Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Math related posts
 Rust concepts I wish I learned earlier
 Backpropagation and Accelerate
 Building notgloss package
 Any DSLs that generate movies or slideshows?
 How to derive newtype instances for Data.Vector.Unboxed?
 [ad] Haskell Revitalisation
 GHC.Num: Why no multiplication commutativity?

A note from our sponsor  SonarLint
www.sonarlint.org  28 Jan 2023
Index
What are some of the best opensource Math projects in Haskell? This list will help you:
Project  Stars  

1  subhask  409 
2  hmatrix  367 
3  vector  345 
4  ad  340 
5  statistics  284 
6  HerbiePlugin  190 
7  linear  186 
8  what4  134 
9  hgeometry  110 
10  grid  101 
11  algebra  96 
12  dimensional  93 
13  units  92 
14  rampart  72 
15  lambdacalculator  67 
16  numhask  62 
17  semigroups  61 
18  poly  58 
19  mwcrandom  55 
20  arrayfire  55 
21  deeplearninghs  53 
22  bayesstack  49 
23  hermit  48 