Haskell Math

Open-source Haskell projects categorized as Math
Edit details
Topics: #Algebra #Haskell #Vector #Hmatrix #Formal Methods
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.
www.sonarlint.org
Sponsored

Top 23 Haskell Math Projects

  • subhask

    Type safe interface for working in subcategories of Hask

  • hmatrix

    Linear algebra and numerical computation

    Project mention: Rust concepts I wish I learned earlier | news.ycombinator.com | 2023-01-18

    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.)

    [3] https://github.com/khigia/ocaml-anneal

  • 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-20

    One can find a corrected snippet at https://github.com/haskell/vector/pull/450

  • statistics

    A fast, high quality library for computing with statistics in Haskell.

  • HerbiePlugin

    GHC plugin that improves Haskell code's numerical stability

  • linear

    Low-dimensional linear algebra primitives for Haskell.

    Project mention: GHC.Num: Why no multiplication commutativity? | reddit.com/r/haskell | 2022-10-29

    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.

  • what4

    Symbolic formula representation and solver interaction library

  • 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.

  • grid

    Tools for working with regular grids/graphs/lattices. (by mhwombat)

  • algebra

    constructive abstract algebra (by ekmett)

  • dimensional

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

  • units

    The home of the units Haskell package (by goldfirere)

  • rampart

    :european_castle: Determine how intervals relate to each other.

  • lambda-calculator

    An introduction to the Lambda Calculus

  • numhask

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

  • semigroups

    Haskell 98 semigroups

  • poly

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

  • mwc-random

    A very fast Haskell library for generating high quality pseudo-random numbers.

    Project mention: Probabilistic Programming in Haskell | reddit.com/r/haskell | 2022-08-06

    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

  • arrayfire

    Haskell bindings to ArrayFire

  • deeplearning-hs

  • bayes-stack

    Framework for Gibbs sampling of probabilistic models

  • hermit

    Haskell Equational Reasoning Model-to-Implementation Tunnel (by ku-fpg)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-18.

Haskell Math related posts

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

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com