GAP Packages
There are 173 packages that are shipped with GAP 4.16.1. Note that newer versions might be available on the package websites.
| Name | Version | Date | Subtitle |
|---|---|---|---|
| 4ti2Interface | 2026.05-01 | 2026-05-27 | A link to 4ti2 |
| ACE | 5.7.0 | 2025-04-10 | Advanced Coset Enumerator |
| AClib | 1.4 | 2026-08-12 | Almost Crystallographic Groups - A Library and Algorithms |
| AGT | 0.3.1 | 2022-12-31 | Algebraic Graph Theory |
| ALCO | 1.1.2 | 2025-09-05 | Tools for algebraic combinatorics |
| Alnuth | 4.0.2 | 2026-06-21 | ALgebraic NUmber THeory and an interface to PARI/GP and OSCAR |
| ANUPQ | 3.3.3 | 2025-11-25 | ANU p-Quotient |
| AtlasRep | 2.1.12 | 2026-08-19 | A GAP Interface to the Atlas of Group Representations |
| AutoDoc | 2026.06.30 | 2026-06-30 | Generate documentation from GAP source code |
| Automata | 1.17 | 2026-07-16 | A package on automata |
| AutomGrp | 1.3.3 | 2025-01-08 | Automata groups |
| AutPGrp | 1.12.0 | 2026-05-17 | Computing the Automorphism Group of a p-Group |
| Browse | 1.8.23 | 2026-07-30 | browsing applications and ncurses interface |
| CAP | 2026.07-04 | 2026-07-31 | Categories, Algorithms, Programming |
| CaratInterface | 2.3.11 | 2026-08-19 | Interface to CARAT, a crystallographic groups package |
| CddInterface | 2026.03.02 | 2026-03-02 | Gap interface to Cdd package |
| Circle | 1.7.1 | 2026-08-14 | Adjoint groups of finite rings |
| ClassicalMaximals | 1.1 | 2026-05-26 | Maximal subgroups of classical groups |
| classicpres | 1.25 | 2026-08-02 | Classical Group Presentations |
| cohomolo | 1.7.0 | 2026-08-13 | Cohomology groups of finite groups on finite modules |
| Congruence | 1.2.7 | 2024-08-28 | Congruence subgroups of SL(2,Integers) |
| corefreesub | 0.6 | 2024-03-11 | A GAP Package for calculating the core-free subgroups and their faithful transitive permutation representations |
| CoReLG | 1.57 | 2024-07-07 | Computing with real Lie algebras |
| CRIME | 1.6 | 2022-03-17 | A GAP Package to Calculate Group Cohomology and Massey Products |
| CRISP | 1.4.11 | 2026-08-10 | Computing with Radicals, Injectors, Schunck classes and Projectors |
| crypting | 0.10.7 | 2026-08-18 | Hashes and Crypto in GAP |
| Cryst | 4.1.32 | 2026-08-18 | Computing with crystallographic groups |
| CrystCat | 1.1.13 | 2026-08-19 | The crystallographic groups catalog |
| CTblLib | 1.3.11 | 2025-05-25 | The GAP Character Table Library |
| Cubefree | 1.22 | 2026-08-06 | Constructing the Groups of a Given Cubefree Order |
| curlInterface | 2.4.4 | 2026-07-19 | Simple Web Access |
| cvec | 2.8.5 | 2026-05-15 | Compact vectors over finite fields |
| datastructures | 0.4.3 | 2026-07-31 | Collection of standard data structures for GAP |
| DeepThought | 1.0.10 | 2026-08-01 | This package provides functions for computations in finitely generated nilpotent groups based on the Deep Thought algorithm. |
| DESIGN | 1.8.2 | 2024-11-02 | The Design Package for GAP |
| DifSets | 2.3.1 | 2019-09-14 | an algorithm for enumerating all difference sets in a group |
| Digraphs | 1.15.0 | 2026-07-06 | Graphs, digraphs, and multidigraphs in GAP |
| EDIM | 1.3.8 | 2024-02-21 | Elementary Divisors of Integer Matrices |
| Example | 4.4.1 | 2025-06-20 | Example/Template of a GAP Package |
| ExamplesForHomalg | 2026.07-01 | 2026-07-19 | Examples for the GAP Package homalg |
| FactInt | 1.7.0 | 2026-08-07 | Advanced Methods for Factoring Integers |
| ferret | 1.0.16 | 2026-01-20 | Backtrack Search in Permutation Groups |
| FGA | 1.5.0 | 2023-04-04 | Free Group Algorithms |
| FinInG | 1.5.6 | 2023-07-27 | Finite Incidence Geometry |
| float | 1.0.10 | 2026-05-27 | Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP |
| FORMAT | 1.4.5 | 2026-04-24 | Computing with formations of finite solvable groups. |
| Forms | 1.3.0 | 2026-05-17 | Sesquilinear and Quadratic |
| FPLSA | 1.2.8 | 2025-12-26 | Finitely Presented Lie Algebras |
| FR | 2.4.13 | 2024-01-11 | Computations with functionally recursive groups |
| francy | 2.0.3 | 2023-04-16 | Framework for Interactive Discrete Mathematics |
| fwtree | 1.4 | 2026-08-15 | Computing trees related to some pro-p-groups of finite width |
| GAPDoc | 1.6.10 | 2026-05-20 | A Meta Package for GAP Documentation |
| Gauss | 2026.07-01 | 2026-07-19 | Extended Gauss functionality for GAP |
| GaussForHomalg | 2026.07-01 | 2026-07-19 | Gauss functionality for the homalg project |
| GBNP | 1.1.0 | 2024-08-29 | computing Gröbner bases of noncommutative polynomials |
| GeneralizedMorphismsForCAP | 2026.06-01 | 2026-06-30 | Implementations of generalized morphisms for the CAP project |
| genss | 1.6.10 | 2026-08-18 | Generic Schreier-Sims |
| GradedModules | 2026.07-01 | 2026-07-19 | A homalg based package for the Abelian category of finitely presented graded modules over computable graded rings |
| GradedRingForHomalg | 2026.07-01 | 2026-07-19 | Endow Commutative Rings with an Abelian Grading |
| GRAPE | 4.9.3 | 2025-09-06 | GRaph Algorithms using PErmutation groups |
| groupoids | 1.83 | 2026-08-19 | Calculations with finite groupoids and their homomorphisms |
| GrpConst | 2.7.0 | 2026-08-14 | Constructing the Groups of a Given Order |
| Guarana | 0.96.3 | 2022-02-11 | Applications of Lie methods for computations with infinite polycyclic groups |
| GUAVA | 3.21 | 2026-02-16 | a GAP package for computing with error-correcting codes |
| HAP | 1.78 | 2026-07-12 | Homological Algebra Programming |
| HAPcryst | 0.2.1 | 2026-08-18 | A HAP extension for crystallographic groups |
| hecke | 1.6.0 | 2026-08-09 | Calculating decomposition matrices of Hecke algebras |
| HeLP | 4.1 | 2026-01-09 | Hertweck-Luthar-Passi method. |
| homalg | 2025.12-01 | 2025-12-23 | A homological algebra meta-package for computable Abelian categories |
| HomalgToCAS | 2026.07-01 | 2026-07-19 | A window to the outer world |
| IBNP | 0.18 | 2025-11-04 | Involutive Bases for Noncommutative Polynomials |
| idrel | 2.51 | 2026-08-06 | Identities among relations |
| images | 1.4.2 | 2026-08-18 | Minimal and Canonical images |
| InduceReduce | 1.4 | 2026-07-31 | Unger’s algorithm to compute character tables of finite groups |
| IntPic | 0.4.0 | 2024-08-30 | A package for drawing integers |
| IO | 4.10.0 | 2026-07-14 | Bindings for low level C library I/O routines |
| IO_ForHomalg | 2026.07-01 | 2026-07-19 | IO capabilities for the homalg project |
| IRREDSOL | 1.4.6 | 2026-08-09 | A library of irreducible soluble linear groups over finite fields and of finite primivite soluble groups |
| ITC | 1.5.1 | 2022-03-01 | Interactive Todd-Coxeter |
| json | 2.4.0 | 2026-05-08 | Reading and Writing JSON |
| JupyterKernel | 1.5.1 | 2024-07-07 | Jupyter kernel written in GAP |
| JupyterViz | 1.5.6 | 2022-08-16 | Visualization Tools for Jupyter and the GAP REPL |
| kan | 1.37 | 2024-01-23 | including double coset rewriting systems |
| kbmag | 1.6.0 | 2026-08-15 | Knuth-Bendix on Monoids and Automatic Groups |
| LAGUNA | 3.10.1 | 2026-08-14 | Lie AlGebras and UNits of group Algebras |
| LieAlgDB | 2.3.1 | 2026-08-08 | A database of Lie algebras |
| LiePRing | 2.9.3 | 2026-08-18 | Database and algorithms for Lie p-rings |
| LieRing | 2.4.2 | 2022-02-10 | Computing with finitely presented Lie rings |
| LinearAlgebraForCAP | 2026.06-02 | 2026-06-30 | Category of Matrices over a Field for CAP |
| LINS | 0.9 | 2024-03-15 | provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound. |
| LocalizeRingForHomalg | 2026.05-01 | 2026-05-27 | A Package for Localization of Polynomial Rings |
| LocalNR | 2.1.0 | 2026-05-22 | Package of local nearrings |
| loops | 3.4.5 | 2026-07-29 | Computing with quasigroups and loops in GAP |
| lpres | 1.1.2 | 2026-05-22 | Nilpotent Quotients of L-Presented Groups |
| MajoranaAlgebras | 1.5.3 | 2026-08-16 | A package for constructing Majorana algebras and representations |
| MapClass | 1.4.6 | 2022-09-17 | A Package For Mapping Class Orbit Computation |
| matgrp | 0.75 | 2026-07-13 | Matric Group Interface Routines |
| MatricesForHomalg | 2026.04-01 | 2026-04-10 | Matrices for the homalg project |
| ModIsom | 3.1.0 | 2026-01-09 | Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups |
| ModularGroup | 2.0.3 | 2026-06-17 | Finite-index subgroups of (P)SL(2,Integers) |
| ModulePresentationsForCAP | 2026.06-01 | 2026-06-30 | Category R-pres for CAP |
| Modules | 2026.04-01 | 2026-04-10 | A homalg based package for the Abelian category of finitely presented modules over computable rings |
| MonoidalCategories | 2026.08-02 | 2026-08-05 | Monoidal and monoidal (co)closed categories |
| NConvex | 2025.12-02 | 2025-12-24 | A Gap package to perform polyhedral computations |
| Nilmat | 1.4.2 | 2022-08-05 | Computing with nilpotent matrix groups |
| NoCK | 1.5 | 2022-03-30 | Computing obstruction for the existence of compact Clifford-Klein form |
| nofoma | 1.0.1 | 2026-05-17 | Normal forms of matrices |
| NormalizInterface | 1.5.1 | 2026-05-05 | GAP wrapper for Normaliz |
| nq | 2.5.11 | 2024-01-12 | Nilpotent Quotients of Finitely Presented Groups |
| NumericalSgps | 1.4.0 | 2024-08-30 | A package for numerical semigroups |
| OpenMath | 11.5.5 | 2026-08-11 | OpenMath functionality in GAP |
| orb | 5.1.0 | 2026-03-31 | Methods to enumerate orbits |
| Origami | 2.0.4 | 2026-08-15 | Computing Veech groups of origamis |
| PackageMaker | 1.0.2 | 2026-07-13 | A GAP package for creating new GAP packages |
| PackageManager | 1.6.4 | 2026-08-08 | Easily download and install GAP packages |
| PatternClass | 2.4.5 | 2024-08-30 | A permutation pattern class package |
| PerfGrp | 1.0.0 | 2026-08-11 | GAP Library of Finite Perfect Groups |
| permut | 2.0.7 | 2026-08-11 | A package to deal with permutability in finite groups |
| Polenta | 1.3.11 | 2025-04-10 | Polycyclic presentations for matrix groups |
| Polycyclic | 2.18 | 2026-04-09 | Computation with polycyclic groups |
| polymaking | 0.8.9 | 2026-04-09 | Interfacing the geometry software polymake |
| PrimGrp | 4.0.3 | 2026-07-28 | GAP Primitive Permutation Groups Library |
| profiling | 2.6.3 | 2026-07-29 | Line by line profiling and code coverage for GAP |
| QDistRnd | 0.9.5 | 2024-11-20 | Calculate the distance of a q-ary quantum stabilizer code |
| qpa | 1.37 | 2026-05-13 | Quivers and Path Algebras |
| QuaGroup | 1.8.4 | 2024-01-11 | Computations with quantum groups |
| RadiRoot | 2.10 | 2026-08-11 | Roots of a Polynomial as Radicals |
| RCWA | 4.10.0 | 2026-07-30 | Residue-Class-Wise Affine Groups |
| RDS | 1.10 | 2026-08-02 | A package for searching relative difference sets |
| recog | 1.5.1 | 2026-05-19 | A package for constructive recognition of permutation and matrix groups |
| RepnDecomp | 1.3.1 | 2025-09-10 | Decompose representations of finite groups into irreducibles |
| Repsn | 3.1.3 | 2026-07-31 | Constructing representations of finite groups |
| ResClasses | 4.7.4 | 2025-09-24 | Set-Theoretic Computations with Residue Classes |
| RingsForHomalg | 2026.05-01 | 2026-05-27 | Dictionaries of external rings |
| SCO | 2026.07-01 | 2026-07-19 | SCO - Simplicial Cohomology of Orbifolds |
| SCSCP | 2.5.0 | 2026-08-11 | Symbolic Computation Software Composability Protocol in GAP |
| Semigroups | 5.6.3 | 2026-05-16 | A package for semigroups and monoids |
| SglPPow | 2.6 | 2026-08-18 | Database of groups of prime-power order for some prime-powers |
| SgpViz | 0.999.6 | 2024-08-30 | A package for semigroup visualization |
| simpcomp | 2.1.15 | 2026-08-05 | A GAP toolbox for simplicial complexes |
| singular | 2026.05.05 | 2026-05-05 | A GAP interface to Singular |
| SL2Reps | 1.1 | 2022-11-26 | Constructing symmetric representations of SL(2,Z). |
| SLA | 1.6.2 | 2024-07-12 | Computing with simple Lie algebras |
| smallantimagmas | 0.6.0 | 2026-07-05 | A library of antiassociative magmas of small order |
| SmallClassNr | 1.7.0 | 2026-08-14 | Library of finite groups with small class number |
| SmallGrp | 1.7.0 | 2026-08-18 | The GAP Small Groups Library |
| Smallsemi | 0.7.2 | 2025-02-25 | A library of small semigroups |
| SONATA | 2.9.8 | 2026-07-29 | System of nearrings and their applications |
| Sophus | 1.27 | 2022-08-09 | Computing in nilpotent Lie algebras |
| SOTGrps | 1.4 | 2026-08-18 | Constructing and identifying groups of small order type |
| SpinSym | 1.5.2 | 2019-10-01 | Brauer tables of spin-symmetric groups |
| StandardFF | 1.0 | 2023-09-13 | Standard finite fields and cyclic generators |
| SymbCompCC | 1.4.0 | 2026-08-14 | Computing with parametrised presentations for p-groups of fixed coclass |
| Thelma | 1.3 | 2022-03-03 | THreshold ELements, Modeling and Applications |
| TomLib | 1.2.11 | 2024-01-12 | The GAP Library of Tables of Marks |
| ToolsForHomalg | 2026.04-01 | 2026-04-10 | Special methods and knowledge propagation tools |
| Toric | 1.9.6 | 2024-07-04 | toric varieties and some combinatorial geometry computations |
| TransGrp | 3.6.5 | 2023-12-15 | Transitive Groups Library |
| TwistedConjugacy | 3.4.1 | 2026-08-08 | Computation with twisted conjugacy classes |
| typeset | 1.2.4 | 2026-04-28 | Automatic typesetting framework for common GAP objects, with LaTeX generation |
| UGALY | 4.1.3 | 2023-07-07 | Universal Groups Acting LocallY |
| Unipot | 1.7 | 2026-08-16 | Computing with elements of unipotent subgroups of Chevalley groups |
| UnitLib | 5.1.0 | 2026-08-11 | Library of normalized unit groups of modular group algebras |
| utils | 0.98 | 2026-08-04 | Utility functions in GAP |
| uuid | 0.7 | 2022-03-01 | RFC 4122 UUIDs |
| walrus | 0.9993 | 2026-07-29 | A new approach to proving hyperbolicity |
| Wedderga | 4.12.1 | 2026-08-18 | Wedderburn Decomposition of Group Algebras |
| WPE | 0.8 | 2024-10-21 | Provides efficient methods for working with wreath product elements. |
| XGAP | 4.33 | 2025-09-14 | a graphical user interface for GAP |
| XMod | 2.99 | 2026-08-19 | Crossed Modules and Cat1-Groups |
| XModAlg | 1.32 | 2025-04-11 | Crossed Modules and Cat1-Algebras |
| YangBaxter | 0.10.7 | 2025-07-14 | Combinatorial Solutions for the Yang-Baxter equation |
| ZeroMQInterface | 0.18 | 2026-04-09 | ZeroMQ bindings for GAP |
| Name | Version | Date | Subtitle |
The table above is generated using the open source software Datatables. It requires JavaScript to enable all features and make all data available.