Packages tagged algebra

53 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (52), bsd3 (35), math (29), data (13), data-structures (6), mit (6), apache (4), numeric (4), algorithms (3), control (3), graphs (3), program (3), testing (3), deprecated (2), monads (2), mpl (2), accelerate (1), bsd2 (1), categories (1), category (1), category-theory (1), compilers-interpreters (1), geometry (1), ghc (1), gpl (1), groups (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
acts290.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
agum180.0Unification and Matching in an Abelian Group (algebra, library, program)2019-10-17JohnRamsdell
algebra1960.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic200.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs5742.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
cayley-dickson540.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cl3372.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-hmatrix-interface130.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface170.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clif140.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clipper120.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-08ChetanTaralekar
cmu170.0Unification in a Commutative Monoid (algebra, library, program)2019-10-17JohnRamsdell
constructive-algebra560.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
csa50.0Connection-set algebra (CSA) library (algebra, library)2018-06-22jegp
eigen1291.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
fadno-braids400.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-27spopejoy
fcf-graphs50.0Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-07locallycompact
finite-field650.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
free-algebras1110.0Free algebras (algebra, control, library, monads, mpl)2021-03-14coot
free-category410.0efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2021-03-28coot
gasp430.0A framework of algebraic classes (algebra, bsd3, library)2020-10-20JeanPhilippeBernardy
ghc-bignum250.0GHC BigNum library (algebra, bsd3, ghc, numeric)2021-10-29BenGamari, HerbertValerioRiedel
group-theory282.25The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-18ReedMullanix, topos
groups10040.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic150.0Generically derive Group instances. (algebra, bsd3, library, math)2021-02-08sheaf
haskell-eigen-util230.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
integer-gmp2151.5Integer library based on GMP (algebra, bsd3, library, numeric)2020-05-04BenGamari, HerbertValerioRiedel
interval-algebra1340.0An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, time)2021-10-08bradleysaul, brendanrbrown
involutive-semigroups60.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
linear19842.5Linear Algebra (algebra, bsd3, library, math)2021-11-16AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate570.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar940.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests100.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
magma550.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
metamorphic90.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
monoid-absorbing150.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-16maciejpirog
monoid-subclasses7712.0Subclasses of Monoid (algebra, bsd3, data, library, text)2021-10-31MarioBlazevic
multi-instance300.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)2019-02-14chris_martin
nats9572.0Natural numbers (algebra, bsd3, library, numeric)2018-02-06EdwardKmett, ryanglscott
partial-semigroup1052.0A partial binary associative operator (algebra, apache, library)2021-05-27chris_martin
partial-semigroup-hedgehog182.0Property testing for partial semigroups using Hedgehog (algebra, apache, library, testing)2021-05-27chris_martin
partial-semigroup-test (deprecated in favor of partial-semigroup-hedgehog)110.0Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-28chris_martin
semigroups39222.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-11-16EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions100.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices510.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semirings6292.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
sign270.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simplex-basic (deprecated)100.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sparse-tensor420.0typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-27nalex, TobiReinhart
subhask212.0Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-01MikeIzbicki
tropical-geometry180.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-13ferynando7
unification-fd1222.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
yap80.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-03RossPaterson