by Frank Calegari and Nathan Dunfield
Section 7 of our paper Automorphic forms and rational homology 3-spheres examines the congruence covers of twist-knot orbifolds. Here, you can download the data files and the code that we used to produce them.
Section 6 of the same paper examines the pro-p completions of the closed manifolds in the SnapPea census. You can download the data files and the code that we used to produce them: pro-p-approach.tar.gz. The README file therein documents the format.