Popular repositories Loading

1. SnapRepr SnapRepr Public

   Tools to find SL(N,C) representations of 3-manifolds

   Python 3

2. SydlerBuilder SydlerBuilder Public

   Programs to build polyhedra described by Sydler

   Python 3

3. hyperbolicGeometryInLean hyperbolicGeometryInLean Public

   Formalizing hyperbolic geometry in lean

   Lean 3

4. condaForSnapPy condaForSnapPy Public

   Conda environments with SnapPy

   2

5. orb orb Public

   Forked from DamianHeard/orb

   Orb is a computer program that can find hyperbolic structures on a large class of hyperbolic 3-orbifolds and 3-manifolds. It can start with a projection of a graph embedded in the 3-sphere, and pro…

   C 1 1

6. regina regina Public

   Forked from regina-normal/regina

   The main source code for Regina

   C++ 1