Matthias Goerner's repositories
condaForSnapPy
Conda environments with SnapPy
SydlerBuilder
Programs to build polyhedra described by Sydler
sageRegina
Obsoleted by https://github.com/3-manifolds/regina_wheels
Blender-3D-Python-Scripts
Python 3.7 scripts for Blender 3D Software
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
low_index
An implementation of Sims' Low Index Subgroup algorithm.
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 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.
regina
The main source code for Regina
sage
Main repository of SageMath. Now open for Issues and Pull Requests.
snakeviz
An in-browser Python profile viewer
SnapPy
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.
staged-recipes
A place to submit conda recipes before they become fully fledged conda-forge feedstocks