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
agum420.0Unification and Matching in an Abelian Group (algebra, library, program)2019-10-17JohnRamsdell
algebra1990.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-graphs5772.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
cayley-dickson100.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cl3152.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-hmatrix-interface80.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface100.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clif70.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clipper100.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-08ChetanTaralekar
cmu180.0Unification in a Commutative Monoid (algebra, library, program)2019-10-17JohnRamsdell
constructive-algebra90.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
csa50.0Connection-set algebra (CSA) library (algebra, library)2018-06-22jegp
eigen531.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
fadno-braids170.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-12-27spopejoy
fcf-graphs380.0Type-level version of algebraic-graphs. (algebra, graphs, library, mit, types)2021-09-07locallycompact
finite-field210.0Finite Fields (algebra, bsd3, data, library, math)2021-01-02MasahiroSakai
free-algebras350.0Free algebras (algebra, control, library, monads, mpl)2021-03-14coot
free-category70.0efficient data types for free categories and arrows (algebra, category, category-theory, control, library, monads, mpl)2021-03-28coot
gasp220.0A framework of algebraic classes (algebra, bsd3, library)2020-10-20JeanPhilippeBernardy
ghc-bignum160.0GHC BigNum library (algebra, bsd3, ghc, numeric)2021-03-28BenGamari, HerbertValerioRiedel
group-theory152.25The theory of groups (algebra, bsd3, groups, library, math, permutations)2021-05-18ReedMullanix, topos
groups10370.0Groups (algebra, bsd3, data, library, math)2021-05-14NathanVanDoorn
groups-generic30.0Generically derive Group instances. (algebra, bsd3, library, math)2021-02-08sheaf
haskell-eigen-util80.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
integer-gmp1541.5Integer library based on GMP (algebra, bsd3, library, numeric)2020-05-04BenGamari, HerbertValerioRiedel
interval-algebra6380.0An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, time)2021-08-27bradleysaul
involutive-semigroups60.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
linear6402.5Linear Algebra (algebra, bsd3, library, math)2021-07-05AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate450.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, library, math)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar210.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
magma220.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2021-06-18KatsutoshiItoh
metamorphic80.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
monoid-absorbing50.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-16maciejpirog
monoid-subclasses4302.0Subclasses of Monoid (algebra, bsd3, data, library, text)2021-07-17MarioBlazevic
multi-instance130.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)2019-02-14chris_martin
nats6642.0Natural numbers (algebra, bsd3, library, numeric)2018-02-06EdwardKmett, ryanglscott
partial-semigroup242.0A partial binary associative operator (algebra, apache, library)2021-05-27chris_martin
partial-semigroup-hedgehog82.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)80.0Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-28chris_martin
semigroups27572.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2021-08-30EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions40.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices590.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semirings7932.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2021-01-07chessai
sign140.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simplex-basic (deprecated)60.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sparse-tensor160.0typesafe tensor algebra library (algebra, data, library, math, mit)2021-02-27nalex, TobiReinhart
subhask112.0Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-01MikeIzbicki
tropical-geometry60.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry, tropical-geometry-)2020-01-13ferynando7
unification-fd662.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2021-02-25WrenThornton, WrenRomano
yap70.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-03RossPaterson