Packages tagged algebra

50 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (50), bsd3 (33), math (28), data (14), data-structures (6), mit (5), apache (4), algorithms (3), control (3), numeric (3), program (3), testing (3), compilers-interpreters (2), deprecated (2), graphs (2), monads (2), mpl (2), accelerate (1), bsd2 (1), categories (1), category (1), concurrency (1), geometry (1), gpl (1), ...

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
acts40.0Semigroup actions and torsors. (algebra, bsd3, library, math)2020-02-23sheaf
agum290.0Unification and Matching in an Abelian Group (algebra, library, program)2019-10-17JohnRamsdell
algebra1000.0Constructive abstract algebra (algebra, bsd3, library, math)2017-12-25EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic100.0General linear algebra structures. (algebra, bsd3, library, math)2014-06-17danilo2, Korri, MarcinMikolajczyk, iamrecursion
algebraic-graphs1682.5A library for algebraic graph construction and transformation (algebra, algorithms, data-structures, graphs, library, mit)2020-02-02snowleopard
cayley-dickson270.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)2015-11-30lmj
cl3212.0Clifford Algebra of three dimensional space. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-hmatrix-interface100.0Interface to/from Cl3 and HMatrix. (algebra, bsd3, library, math)2020-07-21nwaivio
cl3-linear-interface90.0Interface to/from Cl3 and Linear. (algebra, bsd3, library, math)2020-07-21nwaivio
clif90.0A Clifford algebra number type for Haskell (algebra, library, math, mit)2018-04-10maaleske
clipper50.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)2011-08-08ChetanTaralekar
cmu480.0Unification in a Commutative Monoid (algebra, library, program)2019-10-17JohnRamsdell
constructive-algebra220.0A library of constructive algebra. (algebra, bsd3, library, math)2011-03-31AndersMortberg
csa60.0Connection-set algebra (CSA) library (algebra, library)2018-06-22jegp
eigen821.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-01-19spopejoy
finite-field210.0Finite Fields (algebra, bsd3, data, library, math)2016-10-02MasahiroSakai
free-algebras2170.0Free algebras (algebra, control, library, monads, mpl)2020-09-09coot
free-category180.0efficient data types for free categories and arrows (algebra, category, control, library, monads, mpl)2020-07-22coot
gasp890.0A framework of algebraic classes (algebra, bsd3, library)2020-10-20JeanPhilippeBernardy
groups5250.0Groups (algebra, bsd3, data, library, math)2020-08-17NathanVanDoorn
groups-generic20.0Generically derive Group instances. (algebra, bsd3, library, math)2020-02-16sheaf
haskell-eigen-util100.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)2016-08-18dilawars
integer-gmp371.5Integer library based on GMP (algebra, bsd3, library, numeric)2020-05-04HerbertValerioRiedel
interval-algebra40.0An implementation of Allen's interval algebra for temporal logic (algebra, bsd3, library, time)2020-08-11bradleysaul
involutive-semigroups40.0Semigroups with involution. (algebra, bsd3, data, library, math)2020-07-30nosewings
linear31912.5Linear Algebra (algebra, bsd3, library, math)2020-10-03AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate280.0Lifting linear vector spaces into Accelerate (accelerate, algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)2020-08-28EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar330.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)2015-06-13athanclark
linear-tests50.0Linear Algebra (algebra, bsd3, library, math, testing)2020-03-27pdlla
magma190.0magma is an algebraic structure. (algebra, bsd3, data, data-structures, library, math)2020-07-12KatsutoshiItoh
metamorphic50.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)2012-07-10DrewDay
monoid-absorbing90.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)2015-10-16maciejpirog
monoid-subclasses3982.0Subclasses of Monoid (algebra, bsd3, data, library, text)2020-01-22MarioBlazevic
multi-instance100.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)2019-02-14chris_martin
nats9092.0Natural numbers (algebra, bsd3, library, numeric)2018-02-06EdwardKmett, ryanglscott
partial-semigroup372.0A partial binary associative operator (algebra, apache, library)2020-06-03chris_martin
partial-semigroup-hedgehog202.0Property testing for partial semigroups using Hedgehog (algebra, apache, library, testing)2020-05-20chris_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
semigroups21692.75Anything that associates (algebra, bsd3, data, data-structures, library, math)2019-08-27EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions40.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)2012-12-20PetrPudlak
semilattices620.0Semilattices (algebra, bsd3, data, data-structures, library, math)2019-10-03robrix
semirings3542.0two monoids as one, in holy haskimony (algebra, bsd3, data, data-structures, library, math, mathematics, maths)2020-07-13chessai
sign170.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)2019-09-26MasahiroSakai
simplex-basic (deprecated)20.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)2015-06-13athanclark
sparse-tensor100.0typesafe tensor algebra library (algebra, data, library, math, mit)2020-06-19nalex, TobiReinhart
subhask72.0Type safe interface for programming in subcategories of Hask (algebra, bsd3, categories, control, library)2015-09-01MikeIzbicki
tropical-geometry30.0A Tropical Geometry package for Haskell (algebra, geometry, gpl, library, program, tropical-geometry)2020-01-13ferynando7
unification-fd602.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)2015-05-30WrenThornton
yap60.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)2012-02-03RossPaterson