Algorithms for the topology of arithmetic groups and Hecke actions