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), compilers-interpreters (1), geometry (1), ...

Rev Deps
Last U/L
Last Version
acts200.00Semigroup actions and torsors. (algebra, bsd3, library, math)2022-12-
agum360.01Unification and Matching in an Abelian Group (algebra, library, program)2019-10-172.8JohnRamsdell
algebra1180.012Constructive abstract algebra (algebra, bsd3, library, math)2017-12-254.3.1EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic120.01General linear algebra structures. (algebra, bsd3, library, math)2014-06-, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs2962.7520A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2022-06-200.7snowleopard
allen62.00A monadic way of calculating relations between intervals of time. (algebra, bsd3, library, program)2023-09-
cayley-dickson350.01Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-300.3.1.0lmj
cl3272.02Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2022-04-
cl3-hmatrix-interface170.01Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-
cl3-linear-interface230.01Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-
clif90.01A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-
clipper60.01Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-080.0.1ChetanTaralekar
cmu500.01Unification in a Commutative Monoid (algebra, library, program)2019-10-171.12JohnRamsdell
commutative-semigroups2250.07Commutative semigroups (algebra, bsd3, data, library, math)2024-04-100.2JohnEricson, MarioBlazevic, RyanTrinkle, abrar
constructive-algebra340.01A library of constructive algebra. (algebra, bsd3, library, math)2011-03-310.3.0AndersMortberg
csa100.01Connection-set algebra (CSA) library (algebra, library)2018-06-220.1.0jegp
eigen801.56Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-, chessai
fadno-braids350.02Braid representations in Haskell (algebra, bsd2, data, library, math)2024-01-200.2spopejoy
fcf-graphs80.01Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-
finite-field330.04Finite Fields (algebra, bsd3, data, library, math)2021-01-020.10.0MasahiroSakai
free-algebras672.02Free algebras (algebra, control, library, monads, mpl)2023-06-
free-category392.01efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2023-06-
gasp330.04A framework of algebraic classes (algebra, bsd3, library)2020-10-
ghc-bignum560.025GHC BigNum library (algebra, bsd3, ghc, numeric)2022-08-071.3BenGamari, HerbertValerioRiedel, wz1000
group-theory172.250The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-180.2.2ReedMullanix, topos
groups1860.023Groups (algebra, bsd3, data, library, math)2021-05-140.5.3NathanVanDoorn
groups-generic200.00Generically derive Group instances. (algebra, bsd3, library, math)2022-12-
haskell-eigen-util160.01Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-
hspray1240.03Multivariate polynomials. (algebra, gpl, library, math)2024-04-
integer-gmp591.5110Integer library based on GMP (algebra, bsd3, library, numeric)2022-08-071.1BenGamari, HerbertValerioRiedel
interval-algebra1680.01An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, program, time)2023-05-262.2.0brendanrbrown
interval-patterns490.00Intervals, and monoids thereof (algebra, bsd3, charts, data-structures, library, math, statistics)2023-10-100.7.2melaniebrown
involutive-semigroups120.00Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-300.1.0.0nosewings
jackpolynomials620.00Jack, zonal, Schur and skew Schur polynomials (algebra, gpl, library, math)2024-04-
linear3742.5150Linear Algebra (algebra, bsd3, library, math)2022-11-301.22AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate310.02Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-, TrevorMcDonell, ryanglscott
linear-grammar570.01A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-
linear-tests150.00Linear Algebra (algebra, bsd3, library, math, testing)2020-03-
magma400.01magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2023-04-
metamorphic100.01metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-
monoid-absorbing110.01A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-
monoid-subclasses3512.025Subclasses of Monoid (algebra, bsd3, data, library, text)2024-04-131.2.5MarioBlazevic
mpolynomials130.01Simple multivariate polynomials. (algebra, gpl, library, math)2022-12-
multi-instance170.01Typeclasses augmented with a phantom type parameter (algebra, apache, library)2022-03-
nats1052.065Natural numbers (algebra, bsd3, library, numeric)2018-02-061.1.2EdwardKmett, ryanglscott
oalg-abg50.00Finitely generated abelian groups. (algebra, bsd3, category, library, mathematics)2024-01-
oalg-base150.00Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems. (algebra, bsd3, category, library, mathematics)2024-01-
partial-semigroup752.02A partial binary associative operator (algebra, apache, library)2023-06-, Monoid_Mary
partial-semigroup-hedgehog602.01Property testing for partial semigroups using Hedgehog (algebra, apache, library, testing)2023-06-, Monoid_Mary
partial-semigroup-test (deprecated in favor of partial-semigroup-hedgehog)300.01Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-
semigroups5312.75905Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-160.20EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions60.01Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-200.1PetrPudlak
semilattices530.02Semilattices (algebra, bsd3, data, data-structures, library, math)2024-03-
semirings1912.018two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-070.6chessai
sign330.02Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-260.4.4MasahiroSakai
simplex-basic (deprecated)110.01Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-
sparse-tensor300.00typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-, TobiReinhart
subhask112.01Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-
tropical-geometry110.00A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-
unification-fd682.04Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2022-05-260.11.2WrenThornton, WrenRomano
yap90.02yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-030.2RossPaterson