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 shapes.

Formalizing convex polyhedra in Coq

Verimag Polyhedra Library

Blender addon to generate mesh for any Archimedean polyhedra and any of regular star polyhedra of Kepler–Poinsot.

LED Ball animation software

Manipulation of tilings and polyhedra using Python and Antiprism

Linear separability (via planes) of two sets of 3D points

Experimenting with polyhedrons and porting portions of Polyhedronism (Levskaya) to Rblx.Lua.

Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy

A macOS screensaver with various convex polyhedra bouncing across the screen.