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
acts110.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
agum250.0Unification and Matching in an Abelian Group (algebra, library, program)2019-10-17JohnRamsdell
algebra1710.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic140.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs5582.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
cayley-dickson350.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cl3252.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-hmatrix-interface140.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
clif110.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clipper90.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-08ChetanTaralekar
cmu280.0Unification in a Commutative Monoid (algebra, library, program)2019-10-17JohnRamsdell
constructive-algebra460.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
csa40.0Connection-set algebra (CSA) library (algebra, library)2018-06-22jegp
eigen1031.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
fadno-braids260.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-field710.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
free-algebras810.0Free algebras (algebra, control, library, monads, mpl)2021-03-14coot
free-category310.0efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2021-03-28coot
gasp280.0A framework of algebraic classes (algebra, bsd3, library)2020-10-20JeanPhilippeBernardy
ghc-bignum130.0GHC BigNum library (algebra, bsd3, ghc, numeric)2021-03-28BenGamari, HerbertValerioRiedel
group-theory132.25The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-18ReedMullanix, topos
groups10480.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic70.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-gmp1811.5Integer library based on GMP (algebra, bsd3, library, numeric)2020-05-04BenGamari, HerbertValerioRiedel
interval-algebra7120.0An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, time)2021-10-08bradleysaul, brendanrbrown
involutive-semigroups30.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
linear8962.5Linear Algebra (algebra, bsd3, library, math)2021-09-20AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate410.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar710.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests40.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
magma390.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
metamorphic70.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
monoid-absorbing110.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-16maciejpirog
monoid-subclasses5172.0Subclasses of Monoid (algebra, bsd3, data, library, text)2021-07-17MarioBlazevic
multi-instance240.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)2019-02-14chris_martin
nats7282.0Natural numbers (algebra, bsd3, library, numeric)2018-02-06EdwardKmett, ryanglscott
partial-semigroup632.0A partial binary associative operator (algebra, apache, library)2021-05-27chris_martin
partial-semigroup-hedgehog192.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)180.0Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-28chris_martin
semigroups24992.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-08-30EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions60.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices380.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semirings2952.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
sign380.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simplex-basic (deprecated)80.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sparse-tensor270.0typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-27nalex, TobiReinhart
subhask202.0Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-01MikeIzbicki
tropical-geometry100.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-13ferynando7
unification-fd1212.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
yap50.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-03RossPaterson