Computational developments for ab initio many-body theory