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/argmin-rs/argmin
[2] https://hackage.haskell.org/package/hmatrix-gsl-0.19.0.1 was released in 2018. (Although there are newer commits in the GitHub repo, https://github.com/haskell-numerics/hmatrix. Not too sure what is going on.)
-
InfluxDB
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
-
vector
An efficient implementation of Int-indexed 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 | 2022-11-20One 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 : `mwc-random` (https://hackage.haskell.org/package/mwc-random), `splitmix-distributions` https://hackage.haskell.org/package/splitmix-distributions-1.0.0/docs/System-Random-SplitMix-Distributions.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 not-gloss 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 open-source 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 | lambda-calculator | 67 |
16 | numhask | 62 |
17 | semigroups | 61 |
18 | poly | 58 |
19 | mwc-random | 55 |
20 | arrayfire | 55 |
21 | deeplearning-hs | 53 |
22 | bayes-stack | 49 |
23 | hermit | 48 |