Packages tagged algebra
70 packages have this tag.
[Merge tag] (trustees only)Related tags: library (69), bsd3 (44), math (37), data (15), data-structures (8), mit (7), graphs (5), numeric (5), program (5), algorithms (4), apache (4), error-handling (4), gpl (4), testing (4), category (3), control (3), mathematics (3), deprecated (2), monads (2), mpl (2), prelude (2), statistics (2), accelerate (1), bsd2 (1), categories (1), category-theory (1), charts (1), combinatorics (1), compilers-interpreters (1), geometry (1), ...
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| acts | 20 | 0.0 | 0 | Semigroup actions and torsors. | (algebra, bsd3, library, math) | 2025-02-03 | 0.3.1.2 | sheaf |
| agum | 26 | 0.0 | 1 | Unification and Matching in an Abelian Group | (algebra, library, program) | 2019-10-17 | 2.8 | JohnRamsdell |
| algebra | 95 | 0.0 | 12 | Constructive abstract algebra | (algebra, bsd3, library, math) | 2017-12-25 | 4.3.1 | EdwardKmett, HiromiIshii, WolfgangJeltsch |
| algebraic | 6 | 0.0 | 1 | General linear algebra structures. | (algebra, bsd3, library, math) | 2014-06-17 | 0.1.0.2 | danilo2, Korri, MarcinMikolajczyk, iamrecursion |
| algebraic-edge-graphs | 2 | 2.0 | 0 | A library for algebraic edge-graph construction and transformation | (algebra, algorithms, data-structures, graphs, library, mit) | 2026-03-16 | 0.1.0 | jackliellcock |
| algebraic-graph-duoids | 4 | 0.0 | 0 | Duoid instances for the algebraic-graphs package | (algebra, error-handling, graphs, library) | 2025-11-17 | 0.0.1.0 | sellout |
| algebraic-graphs | 56 | 2.75 | 24 | A library for algebraic graph construction and transformation | (algebra, algorithms, data-structures, graphs, library, mit) | 2026-01-18 | 0.8 | snowleopard |
| allen | 3 | 2.0 | 0 | A monadic way of calculating relations between intervals of time. | (algebra, bsd3, library, program) | 2023-09-06 | 0.1.0.0 | archaversine |
| cayley-dickson | 23 | 0.0 | 1 | Complex numbers, quaternions, octonions, sedenions, etc. | (algebra, library, math, mit) | 2015-11-30 | 0.3.1.0 | lmj |
| cl3 | 10 | 2.0 | 3 | Clifford Algebra of three dimensional space. | (algebra, bsd3, library, math) | 2022-04-10 | 3.0.0.0 | nwaivio |
| cl3-hmatrix-interface | 5 | 0.0 | 1 | Interface to/from Cl3 and HMatrix. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |
| cl3-linear-interface | 6 | 0.0 | 1 | Interface to/from Cl3 and Linear. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |
| cl3-posit | 5 | 0.0 | 0 | Clifford Algebra of three dimensional space, implemented with Posit numbers. | (algebra, bsd3, library, math, numeric) | 2024-12-24 | 1.0.0.0 | nwaivio |
| clif | 5 | 0.0 | 1 | A Clifford algebra number type for Haskell | (algebra, library, math, mit) | 2018-04-10 | 0.1.1.0 | maaleske |
| clipper | 3 | 0.0 | 1 | Haskell API to clipper (2d polygon union/intersection/xor/clipping API) | (algebra, bsd3, library) | 2011-08-08 | 0.0.1 | ChetanTaralekar |
| cmu | 32 | 0.0 | 1 | Unification in a Commutative Monoid | (algebra, library, program) | 2019-10-17 | 1.12 | JohnRamsdell |
| commutative-semigroups | 20 | 0.0 | 8 | Commutative semigroups | (algebra, bsd3, data, library, math) | 2025-03-01 | 0.2.0.2 | JohnEricson, MarioBlazevic, RyanTrinkle, abrar, alexfmpe, maralorn, ymeister |
| constructive-algebra | 22 | 0.0 | 1 | A library of constructive algebra. | (algebra, bsd3, library, math) | 2011-03-31 | 0.3.0 | AndersMortberg |
| csa | 2 | 0.0 | 1 | Connection-set algebra (CSA) library | (algebra, library) | 2018-06-22 | 0.1.0 | jegp |
| duoidal-transformers | 6 | 0.0 | 0 | Extending the tranformers package with duoids | (algebra, error-handling, library, transformers) | 2025-11-17 | 0.0.1.0 | sellout |
| duoids | 6 | 0.0 | 3 | Unifying parallel and sequential operations | (algebra, error-handling, library) | 2025-11-17 | 0.0.1.0 | sellout |
| duoids-hedgehog | 4 | 0.0 | 0 | Unifying parallel and sequential operations | (algebra, error-handling, library, testing) | 2025-11-17 | 0.0.1.0 | sellout |
| eigen | 86 | 1.5 | 6 | Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). | (algebra, algorithms, bsd3, data, library, math, numeric, statistics) | 2018-12-11 | 3.3.7.0 | OlegSidorkin, chessai |
| fadno-braids | 20 | 0.0 | 2 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2024-01-20 | 0.2 | spopejoy |
| fcf-graphs | 4 | 0.0 | 1 | Type-level version of algebraic-graphs. | (algebra, graphs, library, mit, types) | 2021-09-07 | 0.0.1.0 | locallycompact |
| finite-field | 12 | 0.0 | 4 | Finite Fields | (algebra, bsd3, data, library, math) | 2021-01-02 | 0.10.0 | MasahiroSakai |
| free-algebras | 57 | 2.0 | 2 | Free algebras | (algebra, control, library, monads, mpl) | 2024-09-01 | 0.1.2.0 | coot |
| free-category | 23 | 2.0 | 1 | efficient data types for free categories and arrows | (algebra, category, category-theory, control, library, monads, mpl) | 2023-06-04 | 0.0.4.5 | coot |
| gasp | 16 | 0.0 | 4 | A framework of algebraic classes | (algebra, bsd3, library) | 2024-05-21 | 1.4.0.0 | JeanPhilippeBernardy |
| ghc-bignum | 14 | 0.0 | 34 | GHC BigNum library | (algebra, bsd3, ghc, numeric) | 2022-08-07 | 1.3 | BenGamari, HerbertValerioRiedel, LuiteStegeman, wz1000 |
| group-theory | 16 | 2.25 | 0 | The theory of groups | (algebra, bsd3, groups, library, math, permutations) | 2021-05-18 | 0.2.2 | ReedMullanix, topos |
| groups | 37 | 0.0 | 25 | Groups | (algebra, bsd3, data, library, math) | 2021-05-14 | 0.5.3 | NathanVanDoorn |
| groups-generic | 17 | 0.0 | 0 | Generically derive Group instances. | (algebra, bsd3, library, math) | 2022-12-04 | 0.3.1.0 | sheaf |
| haskell-eigen-util | 9 | 0.0 | 1 | Some utility functions for haskell-eigen library | (algebra, bsd3, library, math) | 2016-08-18 | 0.1.0.4 | dilawars |
| hspray | 59 | 0.0 | 3 | Multivariate polynomials and fractions of multivariate polynomials. | (algebra, gpl, library, math) | 2024-06-21 | 0.5.4.0 | stla |
| integer-gmp | 20 | 1.5 | 116 | Integer library based on GMP | (algebra, bsd3, library, numeric) | 2022-08-07 | 1.1 | BenGamari, HerbertValerioRiedel, LuiteStegeman, wz1000 |
| interval-algebra | 113 | 0.0 | 1 | An implementation of Allen's interval algebra for temporal logic | (algebra, bsd3, library, program, time) | 2023-05-26 | 2.2.0 | brendanrbrown |
| interval-patterns | 52 | 0.0 | 0 | Intervals, and monoids thereof | (algebra, bsd3, charts, data-structures, library, math, statistics) | 2025-06-20 | 0.8.1 | melaniebrown |
| involutive-semigroups | 4 | 0.0 | 0 | Semigroups with involution. | (algebra, bsd3, data, library, math) | 2020-07-30 | 0.1.0.0 | nosewings |
| jackpolynomials | 53 | 0.0 | 0 | Jack, zonal, Schur, and other symmetric polynomials | (algebra, combinatorics, gpl, library, math) | 2024-07-13 | 1.4.7.0 | stla |
| linear | 308 | 2.5 | 167 | Linear Algebra | (algebra, bsd3, library, math) | 2026-01-10 | 1.23.3 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |
| linear-accelerate | 29 | 0.0 | 2 | Lifting linear vector spaces into Accelerate | (accelerate, algebra, bsd3, library, math) | 2020-08-28 | 0.7.0.0 | EdwardKmett, TrevorMcDonell, ryanglscott |
| linear-grammar | 31 | 0.0 | 1 | A simple grammar for building linear equations and inclusive inequalities. | (algebra, bsd3, library, math) | 2015-06-13 | 0.0.2.1 | athanclark |
| linear-massiv | 18 | 0.0 | 0 | Type-safe numerical linear algebra backed by massiv arrays | (algebra, bsd3, library, math, numerical) | 2026-03-10 | 0.1.0.5 | nyc |
| linear-tests | 6 | 0.0 | 0 | Linear Algebra | (algebra, bsd3, library, math, testing) | 2020-03-27 | 0.1.2.0 | pdlla |
| lr-acts | 17 | 0.0 | 0 | Left and right actions, semidirect products and torsors | (algebra, bsd3, data, library, math) | 2025-12-11 | 0.2 | AliceRixte |
| magma | 22 | 0.0 | 1 | magma is an algebraic structure. | (algebra, bsd3, data, data-structures, library, math) | 2023-04-19 | 0.6.1.1 | KatsutoshiItoh |
| metamorphic | 3 | 0.0 | 1 | metamorphisms: ana . cata or understanding folds and unfolds | (algebra, graphs, library, recursion) | 2012-07-10 | 0.1.2.3 | DrewDay |
| monoid-absorbing | 10 | 0.0 | 1 | A library for (left, right) zero monoids and backtracking with cut | (algebra, library, mit) | 2015-10-16 | 0.1.0.4 | maciejpirog |
| monoid-subclasses | 117 | 2.0 | 31 | Subclasses of Monoid | (algebra, bsd3, data, library, text) | 2026-01-10 | 1.2.6.1 | MarioBlazevic |
| mpolynomials | 10 | 0.0 | 1 | Simple multivariate polynomials. | (algebra, gpl, library, math) | 2022-12-11 | 0.1.1.0 | stla |
| multi-instance | 13 | 0.0 | 1 | Typeclasses augmented with a phantom type parameter | (algebra, apache, library) | 2022-03-15 | 0.0.0.5 | chris_martin |
| nats | 19 | 2.0 | 65 | Natural numbers | (algebra, bsd3, library, numeric) | 2018-02-06 | 1.1.2 | EdwardKmett, ryanglscott |
| oalg-abg | 5 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2025-10-03 | 2.0.0.0 | zErichGuz |
| oalg-base | 19 | 0.0 | 1 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2025-10-03 | 3.0.0.0 | zErichGuz |
| partial-semigroup | 41 | 2.0 | 2 | A partial binary associative operator | (algebra, apache, library) | 2023-06-26 | 0.6.0.2 | chris_martin, Monoid_Mary |
| partial-semigroup-hedgehog | 26 | 2.0 | 1 | Property testing for partial semigroups using Hedgehog | (algebra, apache, library, testing) | 2023-06-26 | 0.6.0.15 | chris_martin, Monoid_Mary |
| partial-semigroup-test (deprecated in favor of partial-semigroup-hedgehog) | 42 | 0.0 | 1 | Testing utilities for the partial-semigroup package | (algebra, apache, deprecated, library, testing) | 2018-09-28 | 0.4.0.1 | chris_martin |
| semigroups | 237 | 2.75 | 912 | Anything that associates | (algebra, bsd3, data, data-structures, library, math) | 2026-01-10 | 0.20.1 | EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott |
| semigroups-actions | 5 | 0.0 | 1 | Semigroups actions | (algebra, bsd3, data, data-structures, library, math) | 2012-12-20 | 0.1 | PetrPudlak |
| semilattices | 44 | 0.0 | 2 | Semilattices | (algebra, bsd3, data, data-structures, library, math) | 2025-09-22 | 0.0.0.9 | robrix |
| semirings | 74 | 2.0 | 18 | two monoids as one, in holy haskimony | (algebra, bsd3, data, data-structures, library, math, mathematics, maths) | 2024-05-21 | 0.7 | chessai |
| sign | 20 | 0.0 | 2 | Arithmetic over signs and sets of signs | (algebra, bsd3, data, library, math) | 2019-09-26 | 0.4.4 | MasahiroSakai |
| simplex-basic (deprecated) | 3 | 0.0 | 1 | Very basic simplex implementation. | (algebra, bsd3, deprecated, library, math) | 2015-06-13 | 0.0.0.1 | athanclark |
| sparse-tensor | 16 | 0.0 | 0 | typesafe tensor algebra library | (algebra, data, library, math, mit) | 2021-02-27 | 0.2.1.5 | nalex, TobiReinhart |
| subhask | 3 | 2.0 | 1 | Type safe interface for programming in subcategories of Hask | (algebra, bsd3, categories, control, library) | 2015-09-01 | 0.1.1.0 | MikeIzbicki |
| tropical-geometry | 7 | 0.0 | 0 | A Tropical Geometry package for Haskell | (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-) | 2020-01-13 | 0.0.0.1 | ferynando7 |
| unification-fd | 45 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2026-02-27 | 0.12.0.3 | WrenThornton, WrenRomano |
| yap | 9 | 0.0 | 3 | yet another prelude - a simplistic refactoring with algebraic classes | (algebra, bsd3, library, prelude) | 2025-07-21 | 0.3.0 | RossPaterson |
| yap-examples | 4 | 0.0 | 0 | examples of the algebraic classes in the yap package | (algebra, bsd3, library, prelude) | 2025-07-21 | 0.1 | RossPaterson |