GAP package distribution

All 172 packages in the GAP package distribution. The versions listed here are the ones redistributed with GAP; follow a package name for its home page. Generated from gap-system/PackageDistro, last updated 2026-08-04.

172 packages
PackageVersionReleasedDescriptionLicenseLinks
4ti2Interface2026.05-012026-05-27A link to 4ti2GPL-2.0-or-laterREADME · archive · code · issues
ACE5.7.02025-04-10Advanced Coset EnumeratorMITREADME · archive · code · issues
AClib1.3.32025-08-28Almost Crystallographic Groups - A Library and AlgorithmsArtistic-2.0README · archive · code · issues
AGT0.3.12022-12-31Algebraic Graph TheoryGPL-2.0-or-laterREADME · archive · code · issues
ALCO1.1.22025-09-05Tools for algebraic combinatoricsGPL-3.0-or-laterREADME · archive · code · issues
Alnuth4.0.22026-06-21ALgebraic NUmber THeory and an interface to PARI/GP and OSCARGPL-2.0-or-laterREADME · archive · code · issues
ANUPQ3.3.32025-11-25ANU p-QuotientArtistic-2.0README · archive · code · issues
AtlasRep2.1.112026-05-01A GAP Interface to the Atlas of Group RepresentationsGPL-3.0-or-laterREADME · archive
AutoDoc2026.06.302026-06-30Generate documentation from GAP source codeGPL-2.0-or-laterREADME · archive · code · issues
Automata1.172026-07-16A package on automataGPL-2.0-or-laterREADME · archive · code · issues
AutomGrp1.3.32025-01-08Automata groupsMITREADME · archive · code · issues
AutPGrp1.12.02026-05-17Computing the Automorphism Group of a p-GroupGPL-2.0-or-laterREADME · archive · code · issues
Browse1.8.232026-07-30browsing applications and ncurses interfaceGPL-3.0-or-laterREADME · archive
CAP2026.07-042026-07-31Categories, Algorithms, ProgrammingGPL-2.0-or-laterREADME · archive · code · issues
CaratInterface2.3.92026-05-05Interface to CARAT, a crystallographic groups packageGPL-2.0-or-laterREADME · archive · code · issues
CddInterface2026.03.022026-03-02Gap interface to Cdd packageGPL-2.0-or-laterREADME · archive · code · issues
Circle1.6.62023-02-25Adjoint groups of finite ringsGPL-2.0-or-laterREADME · archive · code · issues
ClassicalMaximals1.12026-05-26Maximal subgroups of classical groupsGPL-2.0-or-laterREADME · archive · code · issues
classicpres1.222022-05-06Classical Group PresentationsGPL-2.0 OR GPL-3.0README · archive · code · issues
cohomolo1.6.122025-10-17Cohomology groups of finite groups on finite modulesGPL-2.0-or-laterREADME · archive · code · issues
Congruence1.2.72024-08-28Congruence subgroups of SL(2,Integers)GPL-2.0-or-laterREADME · archive · code · issues
corefreesub0.62024-03-11A GAP Package for calculating the core-free subgroups and their faithful transitive permutation representationsGPL-2.0-or-laterREADME · archive · code · issues
CoReLG1.572024-07-07Computing with real Lie algebrasGPL-2.0-or-laterREADME · archive · code · issues
CRIME1.62022-03-17A GAP Package to Calculate Group Cohomology and Massey ProductsGPL-2.0-or-laterREADME · archive · code · issues
CRISP1.4.92026-07-31Computing with Radicals, Injectors, Schunck classes and ProjectorsBSD-2-ClauseREADME · archive · code · issues
crypting0.10.62025-06-20Hashes and Crypto in GAPBSD-3-ClauseREADME · archive · code · issues
Cryst4.1.312026-05-04Computing with crystallographic groupsGPL-2.0-or-laterREADME · archive · code · issues
CrystCat1.1.112025-12-04The crystallographic groups catalogGPL-2.0-or-laterREADME · archive · code · issues
CTblLib1.3.112025-05-25The GAP Character Table LibraryGPL-3.0-or-laterREADME · archive
Cubefree1.212025-08-29Constructing the Groups of a Given Cubefree OrderGPL-2.0-or-laterREADME · archive · code · issues
curlInterface2.4.42026-07-19Simple Web AccessGPL-2.0-or-laterREADME · archive · code · issues
cvec2.8.52026-05-15Compact vectors over finite fieldsGPL-2.0-or-laterREADME · archive · code · issues
datastructures0.4.32026-07-31Collection of standard data structures for GAPGPL-2.0-or-laterREADME · archive · code · issues
DeepThought1.0.102026-08-01This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm.GPL-2.0-or-laterREADME · archive · code · issues
DESIGN1.8.22024-11-02The Design Package for GAPGPL-2.0-or-laterREADME · archive · code · issues
DifSets2.3.12019-09-14an algorithm for enumerating all difference sets in a groupGPL-3.0-or-laterREADME · archive · code · issues
Digraphs1.15.02026-07-06Graphs, digraphs, and multidigraphs in GAPGPL-3.0-or-laterREADME · archive · code · issues
EDIM1.3.82024-02-21Elementary Divisors of Integer MatricesGPL-2.0-or-laterREADME · archive · code
Example4.4.12025-06-20Example/Template of a GAP PackageGPL-2.0-or-laterREADME · archive · code · issues
ExamplesForHomalg2026.07-012026-07-19Examples for the GAP Package homalgGPL-2.0-or-laterREADME · archive · code · issues
FactInt1.6.32019-11-15Advanced Methods for Factoring IntegersGPL-2.0-or-laterREADME · archive · code · issues
ferret1.0.162026-01-20Backtrack Search in Permutation GroupsMPL-2.0README · archive · code · issues
FGA1.5.02023-04-04Free Group AlgorithmsGPL-2.0-or-laterREADME · archive · code · issues
FinInG1.5.62023-07-27Finite Incidence GeometryGPL-2.0-or-laterREADME · archive · code · issues
float1.0.102026-05-27Integration of mpfr, mpfi, mpc, fplll and cxsc in GAPGPL-2.0-or-laterREADME · archive · code · issues
FORMAT1.4.52026-04-24Computing with formations of finite solvable groups.GPL-2.0-or-laterREADME · archive · code · issues
Forms1.3.02026-05-17Sesquilinear and QuadraticGPL-2.0-or-laterREADME · archive · code · issues
FPLSA1.2.82025-12-26Finitely Presented Lie AlgebrasGPL-2.0-or-laterREADME · archive · code · issues
FR2.4.132024-01-11Computations with functionally recursive groupsGPL-2.0-or-laterREADME · archive · code · issues
francy2.0.32023-04-16Framework for Interactive Discrete MathematicsMITREADME · archive · code · issues
fwtree1.32020-01-28Computing trees related to some pro-p-groups of finite widthGPL-2.0-or-laterREADME · archive · code · issues
GAPDoc1.6.102026-05-20A Meta Package for GAP DocumentationGPL-2.0-or-laterREADME · archive · code · issues
Gauss2026.07-012026-07-19Extended Gauss functionality for GAPGPL-2.0-or-laterREADME · archive · code · issues
GaussForHomalg2026.07-012026-07-19Gauss functionality for the homalg projectGPL-2.0-or-laterREADME · archive · code · issues
GBNP1.1.02024-08-29computing Gröbner bases of noncommutative polynomialsLGPL-2.1-or-laterREADME · archive · code · issues
GeneralizedMorphismsForCAP2026.06-012026-06-30Implementations of generalized morphisms for the CAP projectGPL-2.0-or-laterREADME · archive · code · issues
genss1.6.92024-07-29Generic Schreier-SimsGPL-3.0-or-laterREADME · archive · code · issues
GradedModules2026.07-012026-07-19A homalg based package for the Abelian category of finitely presented graded modules over computable graded ringsGPL-2.0-or-laterREADME · archive · code · issues
GradedRingForHomalg2026.07-012026-07-19Endow Commutative Rings with an Abelian GradingGPL-2.0-or-laterREADME · archive · code · issues
GRAPE4.9.32025-09-06GRaph Algorithms using PErmutation groupsApache-2.0 AND GPL-2.0-or-laterREADME · archive · code · issues
groupoids1.812025-11-26Calculations with finite groupoids and their homomorphismsGPL-2.0-or-laterREADME · archive · code · issues
GrpConst2.6.62026-07-21Constructing the Groups of a Given OrderGPL-2.0-or-laterREADME · archive · code · issues
Guarana0.96.32022-02-11Applications of Lie methods for computations with infinite polycyclic groupsGPL-2.0-or-laterREADME · archive · code · issues
GUAVA3.212026-02-16a GAP package for computing with error-correcting codesGPL-2.0-or-laterREADME · archive · code · issues
HAP1.782026-07-12Homological Algebra ProgrammingGPL-2.0-or-laterREADME · archive · code · issues
HAPcryst0.2.02026-03-24A HAP extension for crystallographic groupsGPL-2.0-or-laterREADME · archive · code · issues
hecke1.5.42024-08-27Calculating decomposition matrices of Hecke algebrasGPL-2.0-or-laterREADME · archive · code · issues
HeLP4.12026-01-09Hertweck-Luthar-Passi method.GPL-2.0-or-laterREADME · archive · code · issues
homalg2025.12-012025-12-23A homological algebra meta-package for computable Abelian categoriesGPL-2.0-or-laterREADME · archive · code · issues
HomalgToCAS2026.07-012026-07-19A window to the outer worldGPL-2.0-or-laterREADME · archive · code · issues
IBNP0.182025-11-04Involutive Bases for Noncommutative PolynomialsGPL-3.0-or-laterREADME · archive · code · issues
idrel2.492025-10-02Identities among relationsGPL-2.0-or-laterREADME · archive · code · issues
images1.3.32024-08-27Minimal and Canonical imagesMPL-2.0README · archive · code · issues
InduceReduce1.42026-07-31Unger's algorithm to compute character tables of finite groupsGPL-3.0-or-laterREADME · archive · code · issues
IntPic0.4.02024-08-30A package for drawing integersGPL-2.0-or-laterREADME · archive · code · issues
IO4.10.02026-07-14Bindings for low level C library I/O routinesGPL-3.0-or-laterREADME · archive · code · issues
IO_ForHomalg2026.07-012026-07-19IO capabilities for the homalg projectGPL-2.0-or-laterREADME · archive · code · issues
IRREDSOL1.4.42022-11-16A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groupsBSD-2-ClauseREADME · archive · code · issues
ITC1.5.12022-03-01Interactive Todd-CoxeterGPL-2.0-or-laterREADME · archive · code · issues
json2.4.02026-05-08Reading and Writing JSONBSD-2-ClauseREADME · archive · code · issues
JupyterKernel1.5.12024-07-07Jupyter kernel written in GAPBSD-3-ClauseREADME · archive · code · issues
JupyterViz1.5.62022-08-16Visualization Tools for Jupyter and the GAP REPLGPL-2.0-or-laterREADME · archive · code · issues
kan1.372024-01-23including double coset rewriting systemsGPL-2.0-or-laterREADME · archive · code · issues
kbmag1.5.112023-01-03Knuth-Bendix on Monoids and Automatic GroupsGPL-2.0-or-laterREADME · archive · code · issues
LAGUNA3.9.72024-07-01Lie AlGebras and UNits of group AlgebrasGPL-2.0-or-laterREADME · archive · code · issues
LieAlgDB2.3.02025-09-24A database of Lie algebrasGPL-2.0-or-laterREADME · archive · code · issues
LiePRing2.9.22026-08-03Database and algorithms for Lie p-ringsGPL-2.0-or-laterREADME · archive · code · issues
LieRing2.4.22022-02-10Computing with finitely presented Lie ringsGPL-2.0-or-laterREADME · archive · code · issues
LinearAlgebraForCAP2026.06-022026-06-30Category of Matrices over a Field for CAPGPL-2.0-or-laterREADME · archive · code · issues
LINS0.92024-03-15provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound.GPL-2.0-or-laterREADME · archive · code · issues
LocalizeRingForHomalg2026.05-012026-05-27A Package for Localization of Polynomial RingsGPL-2.0-or-laterREADME · archive · code · issues
LocalNR2.1.02026-05-22Package of local nearringsGPL-3.0-or-laterREADME · archive · code · issues
loops3.4.52026-07-29Computing with quasigroups and loops in GAPGPL-2.0-or-laterREADME · archive · code · issues
lpres1.1.22026-05-22Nilpotent Quotients of L-Presented GroupsGPL-2.0-or-laterREADME · archive · code · issues
MajoranaAlgebras1.5.22024-07-07A package for constructing Majorana algebras and representationsGPL-2.0-or-laterREADME · archive · code · issues
MapClass1.4.62022-09-17A Package For Mapping Class Orbit ComputationGPL-2.0-or-laterREADME · archive · code · issues
matgrp0.752026-07-13Matric Group Interface RoutinesGPL-2.0 OR GPL-3.0README · archive · code · issues
MatricesForHomalg2026.04-012026-04-10Matrices for the homalg projectGPL-2.0-or-laterREADME · archive · code · issues
ModIsom3.1.02026-01-09Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groupsGPL-2.0-or-laterREADME · archive · code · issues
ModularGroup2.0.32026-06-17Finite-index subgroups of (P)SL(2,Integers)GPL-3.0-or-laterREADME · archive · code · issues
ModulePresentationsForCAP2026.06-012026-06-30Category R-pres for CAPGPL-2.0-or-laterREADME · archive · code · issues
Modules2026.04-012026-04-10A homalg based package for the Abelian category of finitely presented modules over computable ringsGPL-2.0-or-laterREADME · archive · code · issues
MonoidalCategories2026.07-032026-08-01Monoidal and monoidal (co)closed categoriesGPL-2.0-or-laterREADME · archive · code · issues
NConvex2025.12-022025-12-24A Gap package to perform polyhedral computationsGPL-2.0-or-laterREADME · archive · code · issues
Nilmat1.4.22022-08-05Computing with nilpotent matrix groupsGPL-2.0-or-laterREADME · archive · code · issues
NoCK1.52022-03-30Computing obstruction for the existence of compact Clifford-Klein formGPL-2.0-or-laterREADME · archive · code · issues
nofoma1.0.12026-05-17Normal forms of matricesGPL-2.0-or-laterREADME · archive · code · issues
NormalizInterface1.5.12026-05-05GAP wrapper for NormalizGPL-2.0-or-laterREADME · archive · code · issues
nq2.5.112024-01-12Nilpotent Quotients of Finitely Presented GroupsGPL-2.0-or-laterREADME · archive · code · issues
NumericalSgps1.4.02024-08-30A package for numerical semigroupsGPL-2.0-or-laterREADME · archive · code · issues
OpenMath11.5.32023-02-25OpenMath functionality in GAPGPL-2.0-or-laterREADME · archive · code · issues
orb5.1.02026-03-31Methods to enumerate orbitsGPL-3.0-or-laterREADME · archive · code · issues
Origami2.0.32026-05-04Computing Veech groups of origamisGPL-3.0-or-laterREADME · archive
PackageMaker1.0.22026-07-13A GAP package for creating new GAP packagesGPL-2.0-or-laterREADME · archive · code · issues
PackageManager1.6.32025-05-14Easily download and install GAP packagesGPL-2.0-or-laterREADME · archive · code · issues
PatternClass2.4.52024-08-30A permutation pattern class packageGPL-2.0-or-laterREADME · archive · code · issues
permut2.0.62026-07-31A package to deal with permutability in finite groupsGPL-2.0-or-laterREADME · archive · code · issues
Polenta1.3.112025-04-10Polycyclic presentations for matrix groupsGPL-2.0-or-laterREADME · archive · code · issues
Polycyclic2.182026-04-09Computation with polycyclic groupsGPL-2.0-or-laterREADME · archive · code · issues
polymaking0.8.92026-04-09Interfacing the geometry software polymakeGPL-2.0-or-laterREADME · archive · code · issues
PrimGrp4.0.32026-07-28GAP Primitive Permutation Groups LibraryGPL-2.0-or-laterREADME · archive · code · issues
profiling2.6.32026-07-29Line by line profiling and code coverage for GAPMIT AND CDDL-1.0README · archive · code · issues
QDistRnd0.9.52024-11-20Calculate the distance of a q-ary quantum stabilizer codeGPL-2.0-or-laterREADME · archive · code · issues
qpa1.372026-05-13Quivers and Path AlgebrasGPL-2.0-or-laterREADME · archive · code · issues
QuaGroup1.8.42024-01-11Computations with quantum groupsGPL-2.0-or-laterREADME · archive · code · issues
RadiRoot2.92022-03-01Roots of a Polynomial as RadicalsGPL-2.0-or-laterREADME · archive · code · issues
RCWA4.10.02026-07-30Residue-Class-Wise Affine GroupsGPL-2.0-or-laterREADME · archive · code · issues
RDS1.102026-08-02A package for searching relative difference setsGPL-2.0-or-laterREADME · archive · code · issues
recog1.5.12026-05-19A package for constructive recognition of permutation and matrix groupsGPL-3.0-or-laterREADME · archive · code · issues
RepnDecomp1.3.12025-09-10Decompose representations of finite groups into irreduciblesGPL-3.0README · archive · code · issues
Repsn3.1.32026-07-31Constructing representations of finite groupsGPL-2.0-or-laterREADME · archive · code · issues
ResClasses4.7.42025-09-24Set-Theoretic Computations with Residue ClassesGPL-2.0-or-laterREADME · archive · code · issues
RingsForHomalg2026.05-012026-05-27Dictionaries of external ringsGPL-2.0-or-laterREADME · archive · code · issues
SCO2026.07-012026-07-19SCO - Simplicial Cohomology of OrbifoldsGPL-2.0-or-laterREADME · archive · code · issues
SCSCP2.4.42025-08-27Symbolic Computation Software Composability Protocol in GAPGPL-2.0-or-laterREADME · archive · code · issues
Semigroups5.6.32026-05-16A package for semigroups and monoidsGPL-3.0-or-laterREADME · archive · code · issues
SglPPow2.52026-07-28Database of groups of prime-power order for some prime-powersArtistic-2.0README · archive · code · issues
SgpViz0.999.62024-08-30A package for semigroup visualizationGPL-2.0-or-laterREADME · archive · code · issues
simpcomp2.1.142022-03-15A GAP toolbox for simplicial complexesGPL-2.0-or-laterREADME · archive · code · issues
singular2026.05.052026-05-05A GAP interface to SingularGPL-2.0-or-laterREADME · archive · code · issues
SL2Reps1.12022-11-26Constructing symmetric representations of SL(2,Z).GPL-2.0-or-laterREADME · archive · code · issues
SLA1.6.22024-07-12Computing with simple Lie algebrasGPL-2.0-or-laterREADME · archive · code · issues
smallantimagmas0.6.02026-07-05A library of antiassociative magmas of small orderGPL-3.0-or-laterREADME · archive · code · issues
SmallClassNr1.6.02026-07-29Library of finite groups with small class numberGPL-2.0-or-laterREADME · archive · code · issues
SmallGrp1.5.52026-07-28The GAP Small Groups LibraryArtistic-2.0README · archive · code · issues
Smallsemi0.7.22025-02-25A library of small semigroupsGPL-3.0-or-laterREADME · archive · code · issues
SONATA2.9.82026-07-29System of nearrings and their applicationsGPL-2.0-or-laterREADME · archive · code · issues
Sophus1.272022-08-09Computing in nilpotent Lie algebrasGPL-2.0-or-laterREADME · archive · code · issues
SOTGrps1.3.12026-07-29Constructing and identifying groups of small order typeGPL-2.0-or-laterREADME · archive · code · issues
SpinSym1.5.22019-10-01Brauer tables of spin-symmetric groupsGPL-2.0-or-laterREADME · archive · code · issues
StandardFF1.02023-09-13Standard finite fields and cyclic generatorsGPL-3.0-or-laterREADME · archive · code · issues
SymbCompCC1.3.22022-02-10Computing with parametrised presentations for p-groups of fixed coclassGPL-2.0-or-laterREADME · archive · code · issues
Thelma1.32022-03-03THreshold ELements, Modeling and ApplicationsGPL-2.0-or-laterREADME · archive · code · issues
TomLib1.2.112024-01-12The GAP Library of Tables of MarksGPL-2.0-or-laterREADME · archive · code · issues
ToolsForHomalg2026.04-012026-04-10Special methods and knowledge propagation toolsGPL-2.0-or-laterREADME · archive · code · issues
Toric1.9.62024-07-04toric varieties and some combinatorial geometry computationsMITREADME · archive · code · issues
TransGrp3.6.52023-12-15Transitive Groups LibraryArtistic-2.0 AND (GPL-2.0-only OR GPL-3.0-only)README · archive · code · issues
TwistedConjugacy3.4.02026-07-05Computation with twisted conjugacy classesGPL-2.0-or-laterREADME · archive · code · issues
typeset1.2.42026-04-28Automatic typesetting framework for common GAP objects, with LaTeX generationGPL-2.0-or-laterREADME · archive · code · issues
UGALY4.1.32023-07-07Universal Groups Acting LocallYGPL-3.0-or-laterREADME · archive · code · issues
Unipot1.62024-07-04Computing with elements of unipotent subgroups of Chevalley groupsGPL-2.0-or-laterREADME · archive · code · issues
UnitLib5.0.02025-06-12Library of normalized unit groups of modular group algebrasGPL-2.0-or-laterREADME · archive · code · issues
utils0.972026-07-29Utility functions in GAPGPL-2.0-or-laterREADME · archive · code · issues
uuid0.72022-03-01RFC 4122 UUIDsBSD-3-ClauseREADME · archive · code · issues
walrus0.99932026-07-29A new approach to proving hyperbolicityBSD-3-ClauseREADME · archive · code · issues
Wedderga4.11.32025-12-26Wedderburn Decomposition of Group AlgebrasGPL-2.0-or-laterREADME · archive · code · issues
WPE0.82024-10-21Provides efficient methods for working with wreath product elements.GPL-2.0-or-laterREADME · archive · code · issues
XGAP4.332025-09-14a graphical user interface for GAPGPL-2.0-or-laterREADME · archive · code · issues
XMod2.982026-03-12Crossed Modules and Cat1-GroupsGPL-2.0-or-laterREADME · archive · code · issues
XModAlg1.322025-04-11Crossed Modules and Cat1-AlgebrasGPL-2.0-or-laterREADME · archive · code · issues
YangBaxter0.10.72025-07-14Combinatorial Solutions for the Yang-Baxter equationGPL-3.0README · archive · code · issues
ZeroMQInterface0.182026-04-09ZeroMQ bindings for GAPGPL-2.0-or-laterREADME · archive · code · issues