Haskell Algebra

Open-source Haskell projects categorized as Algebra | Edit details

Top 23 Haskell Algebra Projects

  • GitHub repo algebraic-graphs

    Algebraic graphs

  • GitHub repo subhask

    Type safe interface for working in subcategories of Hask

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo linear

    Low-dimensional linear algebra primitives for Haskell.

    Project mention: Probabilistic modelling in Idris: engineering as research | reddit.com/r/Idris | 2021-06-30

    I've come to love the linear approach, where instead of working with Naperian (Representable) functors, you work with Distributive functors.

  • GitHub repo algebra

    constructive abstract algebra (by ekmett)

  • GitHub repo group-theory

    The theory of groups

  • GitHub repo semigroups

    Haskell 98 semigroups

  • GitHub repo cl3

    Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo acts

    Haskell library for semigroup actions and torsors

  • GitHub repo semilattices

    join and meet semilattices, lower and upper bounds.

  • GitHub repo Free Algebras

    Free Algebras in Haskell

  • GitHub repo monoid-subclasses

    Subclasses of Monoid with a solid theoretical foundation and practical purposes

  • GitHub repo haskell-frex

    Project mention: Is there an automatic approach to program optimization? | reddit.com/r/ProgrammingLanguages | 2021-01-15

    The work that is closest to real is [FREX](https://www.cl.cam.ac.uk/~jdy22/papers/partially-static-data-as-free-extension-of-algebras.pdf) which has an [implementation in metaocaml](https://github.com/yallop/metaocaml-frex) and an [implementation in Haskell](https://github.com/yallop/haskell-frex). As far as I know [Ohad Kammar](http://denotational.co.uk/) is also working on an [Idris](https://www.idris-lang.org/) version.

  • GitHub repo fadno-braids

    Braid representations in Haskell

  • GitHub repo partial-semigroup

    A partial binary associative operator (appendMaybe :: a → a → Maybe a)

  • GitHub repo sparse-tensor

    typesafe implementation of tensor algebra in Haskell

  • GitHub repo linear-accelerate

    Instances to mix linear with accelerate

  • GitHub repo agum

    Unification and Matching in an Abelian Group

  • GitHub repo nats

    Haskell 98 Natural Numbers

  • GitHub repo cayley-dickson

    Cayley-Dickson constructions

  • GitHub repo clif

    A Clifford algebra number type for Haskell (by maaleske)

  • GitHub repo tropical-geometry

    Haskell Library for Tropical Geometry

  • GitHub repo linear-algebra-cblas

    Haskell BLAS bindings

  • GitHub repo finite-field

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 2021-06-30.


What are some of the best open-source Algebra projects in Haskell? This list will help you:

Project Stars
1 algebraic-graphs 639
2 subhask 399
3 linear 168
4 algebra 92
5 group-theory 60
6 semigroups 58
7 cl3 55
8 acts 43
9 semilattices 40
10 Free Algebras 30
11 monoid-subclasses 27
12 haskell-frex 18
13 fadno-braids 18
14 partial-semigroup 14
15 sparse-tensor 13
16 linear-accelerate 12
17 agum 10
18 nats 10
19 cayley-dickson 9
20 clif 8
21 tropical-geometry 6
22 linear-algebra-cblas 5
23 finite-field 4
Find remote jobs at our new job board 99remotejobs.com. There are 37 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives