Packages tagged algebra

58 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (57), bsd3 (37), math (34), data (14), data-structures (7), mit (6), apache (4), gpl (4), numeric (4), program (4), algorithms (3), control (3), graphs (3), testing (3), deprecated (2), monads (2), mpl (2), statistics (2), accelerate (1), bsd2 (1), categories (1), category (1), category-theory (1), charts (1), compilers-interpreters (1), geometry (1), ghc (1), ...

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
acts80.00Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-030.3.1.1sheaf
agum130.01Unification and Matching in an Abelian Group (algebra, library, program)2019-10-172.8JohnRamsdell
algebra420.012Constructive abstract algebra (algebra, bsd3, library, math)2017-12-254.3.1EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic60.01General linear algebra structures. (algebra, bsd3, library, math)2014-06-170.1.0.2danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs3962.7520A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2022-06-200.7snowleopard
cayley-dickson130.01Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-300.3.1.0lmj
cl3122.02Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-103.0.0.0nwaivio
cl3-hmatrix-interface80.01Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
cl3-linear-interface170.01Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-212.0.0.0nwaivio
clif50.01A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-100.1.1.0maaleske
clipper50.01Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-080.0.1ChetanTaralekar
cmu160.01Unification in a Commutative Monoid (algebra, library, program)2019-10-171.12JohnRamsdell
commutative-semigroups1680.06Commutative semigroups (algebra, bsd3, data, library, math)2023-04-170.1.0.1JohnEricson, RyanTrinkle, abrar
constructive-algebra150.01A library of constructive algebra. (algebra, bsd3, library, math)2011-03-310.3.0AndersMortberg
csa60.01Connection-set algebra (CSA) library (algebra, library)2018-06-220.1.0jegp
eigen301.56Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-113.3.7.0OlegSidorkin, chessai
fadno-braids170.02Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-270.1.5spopejoy
fcf-graphs40.01Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-070.0.1.0locallycompact
finite-field240.04Finite Fields (algebra, bsd3, data, library, math)2021-01-020.10.0MasahiroSakai
free-algebras242.02Free algebras (algebra, control, library, monads, mpl)2022-09-060.1.0.2coot
free-category122.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2022-09-070.0.4.4coot
gasp100.04A framework of algebraic classes (algebra, bsd3, library)2020-10-201.3.0.0JeanPhilippeBernardy
ghc-bignum720.021GHC BigNum library (algebra, bsd3, ghc, numeric)2022-08-071.3BenGamari, HerbertValerioRiedel, wz1000
group-theory92.250The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-180.2.2ReedMullanix, topos
groups1640.021Groups (algebra, bsd3, data, library, math)2021-05-140.5.3NathanVanDoorn
groups-generic60.00Generically derive Group instances. (algebra, bsd3, library, math)2022-12-040.3.1.0sheaf
haskell-eigen-util90.01Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-180.1.0.4dilawars
hspray60.02Multivariate polynomials. (algebra, gpl, library, math)2023-02-240.1.2.0stla
integer-gmp491.5108Integer library based on GMP (algebra, bsd3, library, numeric)2022-08-071.1BenGamari, HerbertValerioRiedel
interval-algebra570.01An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, program, time)2023-05-262.2.0bradleysaul, brendanrbrown
interval-patterns220.00Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics)2023-05-140.6.0.1melaniebrown
involutive-semigroups30.00Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-300.1.0.0nosewings
jackpolynomials60.00Jack, zonal, and Schur polynomials (algebra, gpl, library, math)2022-12-121.1.0.1stla
linear3552.5145Linear Algebra (algebra, bsd3, library, math)2022-11-301.22AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate130.02Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-280.7.0.0EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar200.01A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-130.0.2.1athanclark
linear-tests50.00Linear Algebra (algebra, bsd3, library, math, testing)2020-03-270.1.2.0pdlla
magma190.01magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2023-04-190.6.1.1KatsutoshiItoh
metamorphic40.01metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-100.1.2.3DrewDay
monoid-absorbing80.01A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-160.1.0.4maciejpirog
monoid-subclasses2882.023Subclasses of Monoid (algebra, bsd3, data, library, text)2023-04-021.2.3MarioBlazevic
mpolynomials50.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-110.1.1.0stla
multi-instance100.01Typeclasses augmented with a phantom type parameter (algebra, apache, library)2022-03-150.0.0.5chris_martin
nats1082.065Natural numbers (algebra, bsd3, library, numeric)2018-02-061.1.2EdwardKmett, ryanglscott
partial-semigroup332.02A partial binary associative operator (algebra, apache, library)2023-01-100.6.0.1chris_martin, Monoid_Mary
partial-semigroup-hedgehog192.01Property testing for partial semigroups using Hedgehog (algebra, apache, library, testing)2023-01-100.6.0.14chris_martin, Monoid_Mary
partial-semigroup-test (deprecated in favor of partial-semigroup-hedgehog)110.01Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-280.4.0.1chris_martin
semigroups4312.75903Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-160.20EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions40.01Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-200.1PetrPudlak
semilattices150.02Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-030.0.0.4robrix
semirings1582.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-070.6chessai
sign190.02Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-260.4.4MasahiroSakai
simplex-basic (deprecated)50.01Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-130.0.0.1athanclark
sparse-tensor130.00typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-270.2.1.5nalex, TobiReinhart
subhask82.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-010.1.1.0MikeIzbicki
tropical-geometry40.00A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-130.0.0.1ferynando7
unification-fd442.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano
yap60.02yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-030.2RossPaterson