-
hyperbolicGeometryInLean
Formalizing hyperbolic geometry in lean
Lean ★ 3 9d agoExplain → -
SnapRepr
Tools to find SL(N,C) representations of 3-manifolds
Python ★ 3 9y agoExplain → -
SydlerBuilder
Programs to build polyhedra described by Sydler
Python ★ 3 6y agoExplain → -
condaForSnapPy
Conda environments with SnapPy
★ 2 6y agoExplain → -
low_index ⑂
An implementation of Sims' Low Index Subgroup algorithm.
C++ ★ 1 12d agoExplain → -
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.
C ★ 1 4d agoExplain → -
Blender-3D-Python-Scripts
Python 3.7 scripts for Blender 3D Software
Python ★ 1 6y agoExplain → -
regina ⑂
The main source code for Regina
C++ ★ 1 3y agoExplain → -
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.
C ★ 1 9mo agoExplain → -
sageRegina
Obsoleted by https://github.com/3-manifolds/regina_wheels
C ★ 1 4y agoExplain → -
shine ⑂
surface visualizer
PostScript ★ 0 1mo agoExplain → -
snappy_manifolds ⑂
The SnapPy manifold database.
Python ★ 0 2mo agoExplain → -
c64_sine
No description.
Assembly ★ 0 1y agoExplain → -
sage ⑂
Main repository of SageMath. Now open for Issues and Pull Requests.
★ 0 1y agoExplain → -
leanprover-community.github.io ⑂
Hosts the website for mathlib and other Lean community infrastructure.
★ 0 4y agoExplain → -
mpci
No description.
Roff ★ 0 4y agoExplain → -
verilen
Computing verified length spectrum
Python ★ 0 5y agoExplain → -
snakeviz ⑂
An in-browser Python profile viewer
Python ★ 0 5y agoExplain → -
staged-recipes ⑂
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
★ 0 6y agoExplain → -
USD ⑂
Universal Scene Description
C++ ★ 0 7y agoExplain →
No repos match these filters.