Scalable symbolic-numeric set computations in Julia

Collection of tools to help initialize and manipulate shapes.

Polyhedral Computation Interface

cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination

render a class of curved 4D shapes

Operations on Polyhedra (simple layer on PPL)

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

Bot for passing activities using zkBridge

Conway-Hart Polyhedron Notation in Rust

Formalizing convex polyhedra in Coq

Official repository of the package LAR for Julia.

LED Ball animation software

An efficient implementation of the Double Description Method

Compute principal directions of polyhedra

Unit Geometry Library

Rapid 3D modelling in web browser

A library providing functionality for the geometric processing of polygonal(non-triangular) meshes.

Visualization tool for Polyhedra

Python code for a polyhedral set-valued observer with an application to nonlinear systems on a Lie group.