HAP is a homological algebra library for use with the GAP computer algebra system, and is still under development. Its initial focus is on computations related to the cohomology of groups. Both finite and infinite groups are handled, with emphasis on integral coefficients. The current version 1.8 was released on 16 August 2007.
A description of the library can be found here.