For Unix or Mac OS X, use the .tar.gz, .tar.bz2 or .zip archive.
For Windows, use the -win.zip archive which also contains Windows
binaries for GAP and some packages.
You can also download archives directly via ftp.
| ACE | 5.1 | 22/01/2012 | Advanced Coset Enumerator |
| AClib | 1.2 | 29/05/2012 | Almost Crystallographic Groups - A Library and Algorithms |
| Alnuth | 3.0.0 | 26/10/2011 | Algebraic number theory and an interface to PARI/GP |
| ANUPQ | 3.0 | 24/01/2006 | ANU p-Quotient |
| AtlasRep | 1.5.0 | 12/07/2011 | A GAP Interface to the Atlas of Group Representations |
| Automata | 1.13 | 19/11/2011 | A package on automata |
| AutomGrp | 1.1.4.1 | 19/09/2008 | Automata groups |
| AutPGrp | 1.5 | 29/05/2012 | Computing the Automorphism Group of a p-Group |
| Browse | 1.8.1 | 23/05/2012 | browsing applications and ncurses interface |
| Carat | 2.1.4 | 29/05/2012 | Interface to CARAT, a crystallographic groups package |
| Circle | 1.4.1 | 31/05/2012 | Adjoint groups of finite rings |
| Citrus | 0.9 | 31/05/2012 | Computing with Semigroups of Transformations and Partial Permutations |
| cohomolo | 1.6 | 23/06/2008 | Cohomology groups of finite groups on finite modules |
| Crime | 1.4 | 01/06/2011 | A GAP Package to Calculate Group Cohomology and Massey Products |
| CRISP | 1.3.5 | 22/11/2011 | Computing with Radicals, Injectors, Schunck classes and Projectors |
| Cryst | 4.1.10 | 29/05/2012 | Computing with crystallographic groups |
| CrystCat | 1.1.6 | 29/05/2012 | The crystallographic groups catalog |
| CTblLib | 1.2.1 | 30/05/2012 | The GAP Character Table Library |
| Cubefree | 1.10 | 07/05/2012 | Constructing the Groups of a Given Cubefree Order |
| cvec | 2.2 | 28/05/2012 | Compact vectors over finite fields |
| DESIGN | 1.6 | 23/11/2011 | The Design Package for GAP |
| EDIM | 1.3.1 | 01/05/2012 | Elementary Divisors of Integer Matrices |
| Example | 3.4.2 | 02/06/2012 | Example/Template of a GAP Package and Guidelines for Package Authors |
| ExamplesForHomalg | 2011.12.15 | 15/12/2011 | Examples for the GAP Package homalg |
| FactInt | 1.5.3 | 16/06/2011 | Advanced Methods for Factoring Integers |
| FGA | 1.1.1 | 30/05/2012 | Free Group Algorithms |
| FORMAT | 1.3 | 05/26/2012 | Computing with formations of finite solvable groups. |
| Forms | 1.2.2 | 29/08/2011 | Sesquilinear and Quadratic |
| FPLSA | 1.1 | 17/11/2003 | Finitely Presented Lie Algebras |
| FR | 1.2.6.4 | 04/06/2012 | Computations with functionally recursive groups |
| fwtree | 1.0 | 23/04/2009 | Computing trees related to some pro-p-groups of finite width |
| GAPDoc | 1.5.1 | 23/02/2012 | A Meta Package for GAP Documentation |
| Gauss | 2012.04.23 | 23/04/2012 | Gauss - Extended Gauss Functionality for GAP |
| GaussForHomalg | 2011.08.10 | 10/08/2011 | GaussForHomalg - Gauss Functionality for homalg |
| GBNP | 1.0.1 | 12/05/2010 | computing Gröbner bases of noncommutative polynomials |
| genss | 1.5 | 31/05/2012 | genss - generic Schreier-Sims |
| gpd | 1.14 | 23/04/2012 | Groupoids, graphs of groups, and graphs of groupoids |
| GradedModules | 2012.05.18 | 18/05/2012 | A homalg based package for the Abelian category of finitely presented graded modules over a computable graded ring |
| GradedRingForHomalg | 2012.05.25 | 25/05/2012 | Endow Commutative Rings with an Abelian Grading |
| GRAPE | 4.6.1 | 17/05/2012 | GRaph Algorithms using PErmutation groups |
| GrpConst | 2.3 | 29/05/2012 | Constructing the Groups of a Given Order |
| Guarana | 0.94 | 27/04/2012 | Applications of Lie methods for computations with infinite polycyclic groups |
| GUAVA | 3.12 | 21/05/2012 | a GAP package for computing with error-correcting codes |
| HAP | 1.10.1 | 16/03/2012 | Homological Algebra Programming |
| HAPcryst | 0.1.10 | 19/04/2012 | A HAP extension for crytallographic groups |
| HAPprime | 0.6 | 09/06/2011 | a HAP extension for small prime power groups |
| hecke | 1.3 | 14/01/2011 | Hecke - Specht 2.4 ported to GAP 4 |
| homalg | 2012.06.02 | 02/06/2012 | A homological algebra meta-package for computable Abelian categories |
| HomalgToCAS | 2012.05.24 | 24/05/2012 | A window to the outer world |
| idrel | 2.12 | 25/04/2012 | Identities among relations |
| IO | 4.2 | 28/05/2012 | Bindings for low level C library IO |
| IO_ForHomalg | 2012.05.24 | 24/05/2012 | IO Capabilities for the homalg Project |
| IRREDSOL | 1.2.1 | 22/11/2011 | A Library of irreducible solvable linear groups over finite fields and of finite primivite soluble groups |
| ITC | 1.4 | 06/01/2004 | Interactive Todd-Coxeter |
| kan | 1.05 | 23/04/2012 | including double coset rewriting systems |
| kbmag | 1.5 | 06/01/2009 | Knuth-Bendix on Monoids and Automatic Groups |
| LAGUNA | 3.6.1 | 31/05/2012 | Lie AlGebras and UNits of group Algebras |
| liealgdb | 2.1 | 28/03/2010 | A database of Lie algebras |
| linboxing | 0.5.2 | 19/05/2011 | access to LinBox linear algebra functions from GAP |
| LocalizeRingForHomalg | 2012.05.27 | 27/05/2012 | A Package for Localization of Polynomial Rings |
| loops | 2.1.3 | 18/02/2011 | Computing with quasigroups and loops in GAP |
| MapClass | 1.2 | 24/04/2012 | A Package For Mapping Class Orbit Computation |
| MatricesForHomalg | 2012.05.27 | 27/05/2012 | Matrices for the homalg project |
| Modules | 2012.05.29 | 29/05/2012 | A homalg based Package for the Abelian Category of Finitely Presented Modules over Computable Rings |
| Nilmat | 1.2 | 10/08/2007 | Computing with nilpotent matrix groups |
| nq | 2.4 | 12/01/2012 | Nilpotent Quotients of Finitely Presented Groups |
| NumericalSgps | 0.971 | 01/12/2011 | A package for numerical semigroups |
| OpenMath | 11.1.2 | 31/05/2012 | OpenMath functionality in GAP |
| orb | 4.5 | 30/05/2012 | orb - Methods to enumerate Orbits |
| ParGAP | 1.3.5 | 01/06/2012 | Parallel GAP |
| Polenta | 1.3.1 | 01/06/2012 | Polycyclic presentations for matrix groups |
| Polycyclic | 2.10.1 | 01/06/2012 | Computation with polycyclic groups |
| polymaking | 0.7.8 | 03/06/2010 | Interfacing the geometry software polymake |
| qaos | main-1.0.28 | 20/01/2008 | Interfacing the QaoS database from GAP |
| QuaGroup | 1.6 | 13/02/2012 | a package for doing computations with quantum groups |
| RadiRoot | 2.6 | 04/11/2011 | Roots of a Polynomial as Radicals |
| RCWA | 3.2.0 | 07/05/2012 | Residue-Class-Wise Affine Groups |
| RDS | 1.6 | 16/02/2012 | A package for searching relative difference sets |
| recog | 1.2 | 28/05/2011 | A collection of group recognition methods |
| recogbase | 1.2 | 28/05/2012 | A framework for group recognition |
| Repsn | 3.0.2 | 25/08/2011 | A GAP4 Package for constructing representations of finite groups |
| ResClasses | 3.1.1 | 23/05/2012 | Set-Theoretic Computations with Residue Classes |
| RingsForHomalg | 2012.05.27 | 27/05/2012 | Dictionaries of External Rings |
| SCO | 2011.08.10 | 10/08/2011 | SCO - Simplicial Cohomology of Orbifolds |
| SCSCP | 2.1.2 | 31/05/2012 | Symbolic Computation Software Composability Protocol in GAP |
| SgpViz | 0.998 | 31/05/2008 | A package for semigroup visualization |
| simpcomp | 1.5.4 | 23/11/2011 | A GAP toolbox for simplicial complexes |
| singular | 12.04.28 | 28/04/2012 | The GAP interface to Singular |
| Smallsemi | 0.6.5 | 28/05/2012 | A library of small semigroups |
| SONATA | 2.5.1 | 23/11/2011 | System of nearrings and their applications |
| Sophus | 1.23 | 03/02/2006 | Computing in nilpotent Lie algebras |
| SymbCompCC | 1.2 | 19/11/2011 | Computing with parametrised presentations for p-groups of fixed coclass |
| TomLib | 1.2.2 | 30/09/2011 | The GAP Library of Tables of Marks |
| toric | 1.8 | 03/05/2012 | toric varieties and some combinatorial geometry computations |
| unipot | 1.2 | 16/11/2004 | Computing with elements of unipotent subgroups of Chevalley groups |
| UnitLib | 3.1.1 | 31/05/2012 | Library of normalized unit groups of modular group algebras |
| Wedderga | 4.4.3 | 31/05/2012 | Wedderburn Decomposition of Group Algebras |
| XGAP | 4.23 | 30/04/2012 | a graphical user interface for GAP |
| XMod | 2.18 | 23/04/2012 | Crossed Modules and Cat1-Groups |