GAP is a software system for computational discrete algebra, with particular emphasis on computational finitegroup theory. The acronym stands for Groups, Algorithms, Programming.

It is the basis on which the HAP homological algebra library are built.