Packages tagged algebra

34 packages have this tag.

[Merge tag] (trustees only)

Related tags: library (34), bsd3 (23), math (18), data (10), data-structures (4), mit (4), algorithms (3), apache (3), benchmark (3), numeric (3), compilers-interpreters (2), gpl (2), graphs (2), program (2), bsd2 (1), categories (1), concurrency (1), control (1), ...

agum230.0Unification and Matching in an Abelian Group (algebra, gpl, library, program)JohnRamsdell
algebra590.0Constructive abstract algebra (algebra, bsd3, library, math)EdwardKmett, HiromiIshii, WolfgangJeltsch
algebraic50.0General linear algebra structures. (algebra, bsd3, library, math)danilo2, Korri, MarcinMikolajczyk
algebraic-graphs282.5A library for algebraic graph construction and transformation (algebra, algorithms, benchmark, data-structures, graphs, library, mit)snowleopard
cayley-dickson200.0Complex numbers, quaternions, octonions, sedenions, etc. (algebra, library, math, mit)lmj
clif40.0A Clifford algebra number type for Haskell (algebra, benchmark, library, math, mit)maaleske
clipper60.0Haskell API to clipper (2d polygon union/intersection/xor/clipping API) (algebra, bsd3, library)ChetanTaralekar
cmu210.0Unification in a Commutative Monoid (algebra, gpl, library, program)JohnRamsdell
constructive-algebra150.0A library of constructive algebra. (algebra, bsd3, library, math)AndersMortberg
eigen282.0Eigen C++ library (linear algebra: matrices, sparse matrices, vectors, numerical solvers). (algebra, algorithms, bsd3, data, library, math, numeric, statistics)OlegSidorkin
fadno-braids660.0Braid representations in Haskell (algebra, bsd2, data, library, math)spopejoy
finite-field500.0Finite Fields (algebra, bsd3, data, library, math)MasahiroSakai
gasp190.0A framework of algebraic classes (algebra, bsd3, library)JeanPhilippeBernardy
groups14950.0Haskell 98 groups (algebra, bsd3, data, library, math)NathanVanDoorn
haskell-eigen-util50.0Some utility functions for haskell-eigen library (algebra, bsd3, library, math)dilawars
integer-gmp10942.0Integer library based on GMP (algebra, bsd3, library, numeric)HerbertValerioRiedel
linear16692.5Linear Algebra (algebra, bsd3, library, math)AnthonyCowley, EdwardKmett, EricMertens, ryanglscott
linear-accelerate620.0Lifting linear vector spaces into Accelerate (algebra, bsd3, compilers-interpreters, concurrency, data, library, math, parallelism)EdwardKmett, TrevorMcDonell, ryanglscott
linear-grammar220.0A simple grammar for building linear equations and inclusive inequalities. (algebra, bsd3, library, math)athanclark
magma110.0magma is an algebraic structure consisting a set together with an binary operation. (algebra, bsd3, data, data-structures, library, math)KatsutoshiItoh
metamorphic70.0metamorphisms: ana . cata or understanding folds and unfolds (algebra, graphs, library, recursion)DrewDay
monoid-absorbing440.0A library for (left, right) zero monoids and backtracking with cut (algebra, library, mit)maciejpirog
monoid-subclasses1522.0Subclasses of Monoid (algebra, bsd3, data, library, text)MarioBlazevic
multi-instance430.0Typeclasses augmented with a phantom type parameter (algebra, apache, library)chris_martin
nats28192.0Natural numbers (algebra, bsd3, library, numeric)EdwardKmett, ryanglscott
partial-semigroup980.0A partial binary associative operator (algebra, apache, library)
partial-semigroup-test1000.0Testing utilities for the partial-semigroup package (algebra, apache, library, testing)
semigroups152762.75Anything that associates (algebra, bsd3, data, data-structures, library, math)EdwardKmett, EricMertens, HerbertValerioRiedel, ryanglscott
semigroups-actions20.0Semigroups actions (algebra, bsd3, data, data-structures, library, math)PetrPudlak
sign490.0Arithmetic over signs and sets of signs (algebra, bsd3, data, library, math)MasahiroSakai
simplex-basic (deprecated)40.0Very basic simplex implementation. (algebra, bsd3, deprecated, library, math)athanclark
subhask42.0Type safe interface for programming in subcategories of Hask (algebra, benchmark, bsd3, categories, control, library)MikeIzbicki
unification-fd232.0Simple generic unification algorithms. (algebra, algorithms, bsd3, compilers-interpreters, language, library, logic, unification)WrenThornton
yap70.0yet another prelude - a simplistic refactoring with algebraic classes (algebra, bsd3, library, prelude)RossPaterson