unhyperbolic Goto Github PK
Name: Matthias Goerner
Type: User
Blog: http://unhyperbolic.org/
Name: Matthias Goerner
Type: User
Blog: http://unhyperbolic.org/
Python 3.7 scripts for Blender 3D Software
Conda environments with SnapPy
Formalizing hyperbolic geometry in lean
Hosts the website for mathlib and other Lean community infrastructure.
An implementation of Sims' Low Index Subgroup algorithm.
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.
The main source code for Regina
Main repository of SageMath. Now open for Issues and Pull Requests.
Obsoleted by https://github.com/3-manifolds/regina_wheels
An in-browser Python profile viewer
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.
Tools to find SL(N,C) representations of 3-manifolds
A place to submit conda recipes before they become fully fledged conda-forge feedstocks
Programs to build polyhedra described by Sydler
Universal Scene Description
Computing verified length spectrum
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.