Matthias Goerner (unhyperbolic)

unhyperbolic

Geek Repo

Home Page:http://unhyperbolic.org/

Github PK Tool:Github PK Tool


Organizations
3-manifolds
PixarAnimationStudios

Matthias Goerner's repositories

condaForSnapPy

Conda environments with SnapPy

SnapRepr

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

Language:PythonStargazers:2Issues:1Issues:0

SydlerBuilder

Programs to build polyhedra described by Sydler

Language:PythonStargazers:2Issues:1Issues:0

sageRegina

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

Language:CStargazers:1Issues:2Issues:0

Blender-3D-Python-Scripts

Python 3.7 scripts for Blender 3D Software

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

hyperbolicGeometryInLean

Formalizing hyperbolic geometry in lean

Language:LeanStargazers:0Issues:1Issues:0

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

Language:CSSLicense:MITStargazers:0Issues:0Issues:0

low_index

An implementation of Sims' Low Index Subgroup algorithm.

Language:C++Stargazers:0Issues:0Issues:0
Language:RoffLicense:GPL-2.0Stargazers:0Issues:1Issues:0

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.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

regina

The main source code for Regina

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

sage

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

License:NOASSERTIONStargazers:0Issues:0Issues:0

snakeviz

An in-browser Python profile viewer

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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.

Language:CStargazers:0Issues:0Issues:0

staged-recipes

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

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

USD

Universal Scene Description

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

verilen

Computing verified length spectrum

Language:PythonStargazers:0Issues:1Issues:0