unhyperbolic Goto Github PK

blender-3d-python-scripts

Python 3.7 scripts for Blender 3D Software

condaforsnappy

Conda environments with SnapPy

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.

mpci

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.

sageregina

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

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.

snaprepr

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

staged-recipes

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

sydlerbuilder

Programs to build polyhedra described by Sydler

usd

Universal Scene Description

verilen

Computing verified length spectrum