Popular repositories Loading

1. cheeky cheeky Public

   Dehn parental testing for orientable finite-volume hyperbolic 3-manifolds

   Coq 2 1

2. carrot carrot Public

   Finite-volume-hyperbolicity algorithm for bounded 3-manifolds

   Python 1

3. coover coover Public

   Glue code between Berge's heegaard and Bell, Hall, and Schleimer's twister

   Python

4. chilli chilli Public

   Maxima and SAGE code for convex projective structures on the once-punctured torus

   Python

5. chubby chubby Public

   Generating necklace manifolds and testing them for hyperbolic Dehn filling

6. regina regina Public

   Forked from regina-normal/regina

   The main source code for Regina

   C++