polyhedra topic

List polyhedra repositories

icosahedron

17
Stars
3
Forks
Watchers

Generates subdivided and truncated icosahedron spheres in Rust.

verified publisher icon thallada

Coq-Polyhedra

21
Stars
4
Forks
Watchers

Formalizing convex polyhedra in Coq

verified publisher icon Coq-Polyhedra

Polyhedra

15
Stars
7
Forks
Watchers

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

verified publisher icon alexeylarionov

VPL

17
Stars
2
Forks
Watchers

Verimag Polyhedra Library

verified publisher icon VERIMAG-Polyhedra