Matthias Goerner

Formalizing hyperbolic geometry in lean

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

Programs to build polyhedra described by Sydler

Conda environments with SnapPy

An implementation of Sims' Low Index Subgroup algorithm.

SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.

Python 3.7 scripts for Blender 3D Software

The main source code for Regina

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 produce and simplify a triangulation with some prescribed subgraph as part of the 1-skeleton and the remainder of the graph drilled out. It enables computation of hyperbolic structures on knot complements, graph complements and orbifolds whose underlying space is the 3-sphere minus a finite number of points.

Obsoleted by https://github.com/3-manifolds/regina_wheels

surface visualizer

The SnapPy manifold database.

No description.

Main repository of SageMath. Now open for Issues and Pull Requests.

Hosts the website for mathlib and other Lean community infrastructure.

No description.

Computing verified length spectrum

An in-browser Python profile viewer

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

Universal Scene Description