Packages tagged algebra

47 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (47), bsd3 (30), math (26), data (13), data-structures (6), mit (5), apache (4), algorithms (3), control (3), numeric (3), program (3), compilers-interpreters (2), deprecated (2), graphs (2), monads (2), mpl (2), testing (2), bsd2 (1), categories (1), category (1), concurrency (1), geometry (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
acts750.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-16sheaf
agum2700.0Unification and Matching in an Abelian Group (algebra, library, program)2019-10-17JohnRamsdell
algebra9930.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic710.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs6212.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
cayley-dickson2260.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cl31692.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2018-10-19nwaivio
cl3-hmatrix-interface620.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2018-06-22nwaivio
cl3-linear-interface710.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2018-06-22nwaivio
clif560.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clipper460.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-08ChetanTaralekar
cmu3180.0Unification in a Commutative Monoid (algebra, library, program)2019-10-17JohnRamsdell
constructive-algebra2530.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
csa270.0Connection-set algebra (CSA) library (algebra, library)2018-06-22jegp
eigen4631.5Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)2018-12-11OlegSidorkin, chessai
fadno-braids2570.0Braid representations in Haskell (algebra, bsd2, data, library, math)2020-01-19spopejoy
finite-field1760.0Finite Fields (algebra, bsd3, data, library, math)2016-10-02MasahiroSakai
free-algebras4310.0Free algebras (algebra, control, library, monads, mpl)2019-12-06coot
free-category1570.0efficient data types for free categories and arrows (algebra, category, control, library, monads, mpl)2019-12-06coot
gasp2030.0A framework of algebraic classes (algebra, bsd3, library)2019-11-17JeanPhilippeBernardy
groups3070.0Haskell 98 groups (algebra, bsd3, data, library, math)2017-11-22NathanVanDoorn
groups-generic190.0Generically derive Group instances. (algebra, bsd3, library, math)2020-02-16sheaf
haskell-eigen-util520.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
integer-gmp1831.5Integer library based on GMP (algebra, bsd3, library, numeric)2018-04-21HerbertValerioRiedel
linear30202.5Linear Algebra (algebra, bsd3, library, math)2020-02-03AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate2440.0Lifting linear vector spaces into Accelerate (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)2018-04-04EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar710.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
magma1630.0magma is an algebraic structure consisting a set together with an binary operation. (algebra, bsd3, data, data-structures, library, math)2015-09-08KatsutoshiItoh
metamorphic400.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
monoid-absorbing910.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-16maciejpirog
monoid-subclasses14902.0Subclasses of Monoid (algebra, bsd3, data, library, text)2020-01-22MarioBlazevic
multi-instance1330.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)2019-02-14chris_martin
nats5942.0Natural numbers (algebra, bsd3, library, numeric)2018-02-06EdwardKmett, ryanglscott
partial-semigroup3642.0A partial binary associative operator (algebra, apache, library)2019-05-15chris_martin
partial-semigroup-hedgehog2132.0Property testing for partial semigroups using Hedgehog (algebra, apache, library, testing)2019-05-15chris_martin
partial-semigroup-test (deprecated in favor of partial-semigroup-hedgehog)2140.0Testing utilities for the partial-semigroup package (algebra, apache, deprecated, library, testing)2018-09-28chris_martin
semigroups23732.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2019-08-27EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions430.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices1640.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semirings5262.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2020-02-18chessai
sign1790.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simplex-basic (deprecated)400.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sparse-tensor2400.0typesafe tensor algebra library (algebra, data, library, math, mit)2020-02-06nalex, TobiReinhart
subhask992.0Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-01MikeIzbicki
tropical-geometry680.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry)2020-01-13ferynando7
unification-fd2802.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton
yap910.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-03RossPaterson