Computing Heegaard Floer homology