A homological algebra meta-package for computable Abelian categories