tesseralis/polyhedra-viewer
Explore the relationships between convex regular-faced polyhedra.
78 repositories
Explore the relationships between convex regular-faced polyhedra.
Scalable symbolic-numeric set computations in Julia
A tool to construct and explore polyhedra.
Polyhedral Computation Interface
An efficient implementation of the Double Description Method
Conway-Hart Polyhedron Notation in Rust
A library providing functionality for the geometric processing of polygonal(non-triangular) meshes.
Official repository of the package LAR for Julia.
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
Generates subdivided and truncated icosahedron spheres in Rust.
Collection of tools to help initialize and manipulate geometries in two and three dimensions.
Formalizing convex polyhedra in Coq
Verimag Polyhedra Library
Manipulation of tilings and polyhedra using Python and Antiprism
Blender addon to generate mesh for any Archimedean polyhedra and any of regular star polyhedra of Kepler–Poinsot.
Glowing 3D objects made from LED filaments. This repo holds solver, tools, webviewer and driver hardware.
Experimenting with polyhedrons and porting portions of Polyhedronism (Levskaya) to Rblx.Lua.
Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
Linear separability (via planes) of two sets of 3D points
render a class of curved 4D shapes
LED Ball animation software
Make shapes dance
A macOS screensaver with various convex polyhedra bouncing across the screen.
A Blender 4.2+/5.x extension with 150+ generators for mathematical sculpture: minimal surfaces, polyhedra, knots, fractals, tilings and more.
Modular framework for cut pruning algorithms
Generate laser cuttable polyhedrons with globe projections on them
Turn the five Platonic solids in 3D, show their duals, read their measurements, and print the nets to fold your own.
Open Source: Visual and Computational Geometry GUI
Operations on Polyhedra (simple layer on PPL)