Which computer algebra system allows me to compute the homology of a complex of finitely presented abelian groups which are not necessarily free?
Sage and Magma apparently don't: see here and here.
Edit: I should specify that the main obstacle for me of doing this by hand with a CAS is the lack of an algorithm for computing the kernel of a homomorphism between finitely generated abelian groups.