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 |
| AutoDoc | 2013.01.16 | 16/01/2013 | Tools for generating automatic GAPDoc documentations |
| 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.2 | 13/07/2012 | browsing applications and ncurses interface |
| Carat | 2.1.4 | 29/05/2012 | Interface to CARAT, a crystallographic groups package |
| Circle | 1.5.2 | 01/02/2013 | Adjoint groups of finite rings |
| Citrus | 0.9999 | 06/07/2012 | Computing with Semigroups of Transformations and Partial Permutations |
| cohomolo | 1.6 | 23/06/2008 | Cohomology groups of finite groups on finite modules |
| Congruence | 1.0.3 | 01/02/2013 | Congruence subgroups of SL(2,Integers) |
| Convex | 2012.11.15 | 15/11/2012 | A package for fan combinatorics |
| Crime | 1.4 | 01/6/2011 | A GAP Package to Calculate Group Cohomology and Massey Products |
| CRISP | 1.3.6 | 13/03/2013 | Computing with Radicals, Injectors, Schunck classes and Projectors |
| Cryst | 4.1.11 | 10/01/2013 | Computing with crystallographic groups |
| CrystCat | 1.1.6 | 29/05/2012 | The crystallographic groups catalog |
| CTblLib | 1.2.2 | 07/03/2013 | The GAP Character Table Library |
| Cubefree | 1.13 | 10/12/2012 | Constructing the Groups of a Given Cubefree Order |
| cvec | 2.4 | 14/09/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.3 | 27/03/2013 | Example/Template of a GAP Package and Guidelines for Package Authors |
| ExamplesForHomalg | 2012.10.23 | 23/10/2012 | Examples for the GAP Package homalg |
| FactInt | 1.5.3 | 16/06/2011 | Advanced Methods for Factoring Integers |
| FGA | 1.2.0 | 20/11/2012 | Free Group Algorithms |
| Float | 0.5.9 | 17/03/2013 | Integration of mpfr, mpfi, mpc, fplll and cxsc in GAP |
| 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 | 2.0.3 | 23/01/2013 | 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 | 2013.03.07 | 07/03/2013 | Gauss - Extended Gauss Functionality for GAP |
| GaussForHomalg | 2012.10.22 | 22/10/2012 | GaussForHomalg - Gauss Functionality for homalg |
| GBNP | 1.0.1 | 12/05/2010 | computing Groebner bases of noncommutative polynomials |
| genss | 1.5 | 31/05/2012 | genss - generic Schreier-Sims |
| gpd | 1.19 | 11/03/2013 | Groupoids, graphs of groups, and graphs of groupoids |
| GradedModules | 2013.02.07 | 07/02/2013 | A homalg based package for the Abelian category of finitely presented graded modules over a computable graded ring |
| GradedRingForHomalg | 2013.02.07 | 07/02/2013 | 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.10.2 | 05/03/2013 | 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.10.28 | 28/10/2012 | A homological algebra meta-package for computable Abelian categories |
| HomalgToCAS | 2013.02.22 | 22/02/2013 | A window to the outer world |
| idrel | 2.14 | 11/01/2013 | Identities among relations |
| IO | 4.2 | 28/05/2012 | Bindings for low level C library IO |
| IO_ForHomalg | 2012.10.22 | 22/10/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.06 | 07/01/2013 | including double coset rewriting systems |
| kbmag | 1.5 | 06/01/2009 | Knuth-Bendix on Monoids and Automatic Groups |
| LAGUNA | 3.6.3 | 01/02/2013 | 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.10.26 | 26/10/2012 | A Package for Localization of Polynomial Rings |
| loops | 2.2.0 | 28/06/2012 | Computing with quasigroups and loops in GAP |
| MapClass | 1.2 | 24/04/2012 | A Package For Mapping Class Orbit Computation |
| MatricesForHomalg | 2013.04.16 | 16/04/2013 | Matrices for the homalg project |
| Modules | 2013.04.19 | 19/04/2013 | 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.4 | 27/03/2013 | OpenMath functionality in GAP |
| orb | 4.6 | 02/05/2013 | 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.11 | 07/03/2013 | Computation with polycyclic groups |
| PolymakeInterface | 2013.03.06 | 06/03/2013 | A package to provide algorithms for fans and cones of polymake to other packages |
| 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.5.1 | 30/12/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.3.0 | 12/12/2012 | Set-Theoretic Computations with Residue Classes |
| RingsForHomalg | 2013.04.19 | 19/04/2013 | Dictionaries of external rings |
| SCO | 2011.08.11 | 11/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.6.1 | 31/01/2013 | A GAP toolbox for simplicial complexes |
| singular | 12.04.28 | 28/04/2012 | The GAP interface to Singular |
| Smallsemi | 0.6.6 | 24/04/2013 | A library of small semigroups |
| SONATA | 2.6 | 07/11/2012 | System of nearrings and their applications |
| Sophus | 1.23 | 03/02/2006 | Computing in nilpotent Lie algebras |
| SpinSym | 1.5 | 01/02/2013 | Brauer tables of spin-symmetric groups |
| 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 |
| ToolsForHomalg | 2013.04.16 | 16/04/2013 | Special methods and knowledge propagation tools |
| toric | 1.8 | 03/05/2012 | toric varieties and some combinatorial geometry computations |
| ToricVarieties | 2012.12.22 | 22/12/2012 | A package to handle toric varieties |
| unipot | 1.2 | 16/11/2004 | Computing with elements of unipotent subgroups of Chevalley groups |
| UnitLib | 3.1.3 | 01/02/2013 | Library of normalized unit groups of modular group algebras |
| Wedderga | 4.5.4 | 28/03/2013 | Wedderburn Decomposition of Group Algebras |
| XGAP | 4.23 | 30/04/2012 | a graphical user interface for GAP |
| XMod | 2.22 | 25/01/2013 | Crossed Modules and Cat1-Groups |