A suite of mathematical software for 3-manifold topologists, focusing on the study of 3-manifold triangulations and normal surfaces.