# Packages tagged algebra

61 packages have this tag.

[Merge tag] (trustees only)Related tags: library (60), bsd3 (40), math (34), data (14), data-structures (7), mit (6), program (5), apache (4), gpl (4), numeric (4), algorithms (3), category (3), control (3), graphs (3), mathematics (3), testing (3), deprecated (2), monads (2), mpl (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 | 14 | 0.0 | 0 | Semigroup actions and torsors. | (algebra, bsd3, library, math) | 2022-12-03 | 0.3.1.1 | sheaf |

agum | 32 | 0.0 | 1 | Unification and Matching in an Abelian Group | (algebra, library, program) | 2019-10-17 | 2.8 | JohnRamsdell |

algebra | 43 | 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-graphs | 219 | 2.75 | 22 | A library for algebraic graph construction and transformation | (algebra, algorithms, data-structures, graphs, library, mit) | 2022-06-20 | 0.7 | 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 | 2 | Clifford Algebra of three dimensional space. | (algebra, bsd3, library, math) | 2022-04-10 | 3.0.0.0 | nwaivio |

cl3-hmatrix-interface | 12 | 0.0 | 1 | Interface to/from Cl3 and HMatrix. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |

cl3-linear-interface | 11 | 0.0 | 1 | Interface to/from Cl3 and Linear. | (algebra, bsd3, library, math) | 2020-07-21 | 2.0.0.0 | nwaivio |

clif | 3 | 0.0 | 1 | A Clifford algebra number type for Haskell | (algebra, library, math, mit) | 2018-04-10 | 0.1.1.0 | maaleske |

clipper | 1 | 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 | 38 | 0.0 | 1 | Unification in a Commutative Monoid | (algebra, library, program) | 2019-10-17 | 1.12 | JohnRamsdell |

commutative-semigroups | 223 | 0.0 | 7 | Commutative semigroups | (algebra, bsd3, data, library, math) | 2024-05-18 | 0.2.0.1 | JohnEricson, MarioBlazevic, RyanTrinkle, abrar, alexfmpe, maralorn, ymeister |

constructive-algebra | 10 | 0.0 | 1 | A library of constructive algebra. | (algebra, bsd3, library, math) | 2011-03-31 | 0.3.0 | AndersMortberg |

csa | 7 | 0.0 | 1 | Connection-set algebra (CSA) library | (algebra, library) | 2018-06-22 | 0.1.0 | jegp |

eigen | 21 | 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 | 8 | 0.0 | 2 | Braid representations in Haskell | (algebra, bsd2, data, library, math) | 2024-01-20 | 0.2 | spopejoy |

fcf-graphs | 7 | 0.0 | 1 | Type-level version of algebraic-graphs. | (algebra, graphs, library, mit, types) | 2021-09-07 | 0.0.1.0 | locallycompact |

finite-field | 28 | 0.0 | 4 | Finite Fields | (algebra, bsd3, data, library, math) | 2021-01-02 | 0.10.0 | MasahiroSakai |

free-algebras | 31 | 2.0 | 2 | Free algebras | (algebra, control, library, monads, mpl) | 2024-09-01 | 0.1.2.0 | coot |

free-category | 21 | 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 | 20 | 0.0 | 4 | A framework of algebraic classes | (algebra, bsd3, library) | 2024-05-21 | 1.4.0.0 | JeanPhilippeBernardy |

ghc-bignum | 32 | 0.0 | 28 | GHC BigNum library | (algebra, bsd3, ghc, numeric) | 2022-08-07 | 1.3 | BenGamari, HerbertValerioRiedel, wz1000 |

group-theory | 3 | 2.25 | 0 | The theory of groups | (algebra, bsd3, groups, library, math, permutations) | 2021-05-18 | 0.2.2 | ReedMullanix, topos |

groups | 159 | 0.0 | 23 | Groups | (algebra, bsd3, data, library, math) | 2021-05-14 | 0.5.3 | NathanVanDoorn |

groups-generic | 14 | 0.0 | 0 | Generically derive Group instances. | (algebra, bsd3, library, math) | 2022-12-04 | 0.3.1.0 | sheaf |

haskell-eigen-util | 4 | 0.0 | 1 | Some utility functions for haskell-eigen library | (algebra, bsd3, library, math) | 2016-08-18 | 0.1.0.4 | dilawars |

hspray | 21 | 0.0 | 3 | Multivariate polynomials and fractions of multivariate polynomials. | (algebra, gpl, library, math) | 2024-06-21 | 0.5.4.0 | stla |

integer-gmp | 37 | 1.5 | 112 | Integer library based on GMP | (algebra, bsd3, library, numeric) | 2022-08-07 | 1.1 | BenGamari, HerbertValerioRiedel, wz1000 |

interval-algebra | 61 | 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 | 57 | 0.0 | 0 | Intervals, and monoids thereof | (algebra, bsd3, charts, data-structures, library, math, statistics) | 2024-04-18 | 0.8.0 | melaniebrown |

involutive-semigroups | 6 | 0.0 | 0 | Semigroups with involution. | (algebra, bsd3, data, library, math) | 2020-07-30 | 0.1.0.0 | nosewings |

jackpolynomials | 15 | 0.0 | 0 | Jack, zonal, Schur, and other symmetric polynomials | (algebra, combinatorics, gpl, library, math) | 2024-07-13 | 1.4.7.0 | stla |

linear | 291 | 2.5 | 154 | Linear Algebra | (algebra, bsd3, library, math) | 2024-04-15 | 1.23 | AnthonyCowley, EdwardKmett, EricMertens, ryanglscott |

linear-accelerate | 12 | 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 | 25 | 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-tests | 16 | 0.0 | 0 | Linear Algebra | (algebra, bsd3, library, math, testing) | 2020-03-27 | 0.1.2.0 | pdlla |

magma | 21 | 0.0 | 1 | magma is an algebraic structure. | (algebra, bsd3, data, data-structures, library, math) | 2023-04-19 | 0.6.1.1 | KatsutoshiItoh |

metamorphic | 5 | 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 | 1 | 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 | 255 | 2.0 | 26 | Subclasses of Monoid | (algebra, bsd3, data, library, text) | 2024-05-18 | 1.2.5.1 | MarioBlazevic |

mpolynomials | 4 | 0.0 | 1 | Simple multivariate polynomials. | (algebra, gpl, library, math) | 2022-12-11 | 0.1.1.0 | stla |

multi-instance | 6 | 0.0 | 1 | Typeclasses augmented with a phantom type parameter | (algebra, apache, library) | 2022-03-15 | 0.0.0.5 | chris_martin |

nats | 107 | 2.0 | 65 | Natural numbers | (algebra, bsd3, library, numeric) | 2018-02-06 | 1.1.2 | EdwardKmett, ryanglscott |

oalg-abg | 3 | 0.0 | 0 | Finitely generated abelian groups. | (algebra, bsd3, category, library, mathematics) | 2024-01-06 | 1.0.0.0 | zErichGuz |

oalg-base | 8 | 0.0 | 1 | Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. | (algebra, bsd3, category, library, mathematics) | 2024-01-05 | 1.1.4.0 | zErichGuz |

partial-semigroup | 24 | 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 | 16 | 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) | 16 | 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 | 361 | 2.75 | 906 | Anything that associates | (algebra, bsd3, data, data-structures, library, math) | 2021-11-16 | 0.20 | EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott |

semigroups-actions | 4 | 0.0 | 1 | Semigroups actions | (algebra, bsd3, data, data-structures, library, math) | 2012-12-20 | 0.1 | PetrPudlak |

semilattices | 32 | 0.0 | 2 | Semilattices | (algebra, bsd3, data, data-structures, library, math) | 2024-10-05 | 0.0.0.8 | robrix |

semirings | 227 | 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 | 27 | 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) | 7 | 0.0 | 1 | Very basic simplex implementation. | (algebra, bsd3, deprecated, library, math) | 2015-06-13 | 0.0.0.1 | athanclark |

sparse-tensor | 12 | 0.0 | 0 | typesafe tensor algebra library | (algebra, data, library, math, mit) | 2021-02-27 | 0.2.1.5 | nalex, TobiReinhart |

subhask | 2 | 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 | 2 | 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 | 47 | 2.0 | 4 | Simple generic unification algorithms. | (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification) | 2024-08-28 | 0.11.2.2 | WrenThornton, WrenRomano |

yap | 11 | 0.0 | 2 | yet another prelude - a simplistic refactoring with algebraic classes | (algebra, bsd3, library, prelude) | 2012-02-03 | 0.2 | RossPaterson |