In this paper we describe a package XMOD [8] of functions for computing with crossed modules, their morphisms and derivations; $cat^1$-groups, their morphisms and sections, written using the GAP [7] group theory programming ...