polyhedra

There are 0 repository under polyhedra topic.

tesseralis / polyhedra-viewer
Explore the relationships between convex regular-faced polyhedra.
art education explorable geometry javascript math polyhedra
Language:TypeScript 306
JuliaReach / LazySets.jl
Scalable symbolic-numeric set computations in Julia
julia convex-sets formal-verification reachability-analysis lazy-evaluation polyhedra convex-hull calculus sets geometry geometry-algorithms computational-geometry zonotope polygons minkowski-sum projections set-propagation
Language:Julia 225
levskaya / polyhedronisme
A tool to construct and explore polyhedra.
geometry polyhedra
Language:JavaScript 188
JuliaPolyhedra / Polyhedra.jl
Polyhedral Computation Interface
julia polyhedral-computations polyhedra optimization convex-hull fourier-motzkin-elimination polyhedron polytope polytopes
Language:Julia 167
cddlib / cddlib
An efficient implementation of the Double Description Method
mathematics polyhedra library linear-programming
Language:C 108
virtualritz / polyhedron-ops
Conway-Hart Polyhedron Notation in Rust
3delight bevy geometry nsi polygon-mesh polyhedra polyhedron rust
Language:Rust 73
avaxman / libhedra
A library providing functionality for the geometric processing of polygonal(non-triangular) meshes.
geometry-processing meshes polygonal-meshes polyhedra polyhedral-meshes
Language:C++ 60
cvdlab / LinearAlgebraicRepresentation.jl
Official repository of the package LAR for Julia.
julia-package chain-complexes cellular-complexes polyhedra arrangements arxiv
Language:Julia 38
JuliaPolyhedra / CDDLib.jl
cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination
polyhedral-computations cdd polyhedra
Language:Julia 36
glotzerlab / coxeter
Collection of tools to help initialize and manipulate shapes.
computational-geometry geometry physics polygons polyhedra shapes
Language:Jupyter Notebook 21
Coq-Polyhedra / Coq-Polyhedra
Formalizing convex polyhedra in Coq
coq polyhedra theorem-proving simplex-algorithm optimization
Language:Coq 20
thallada / icosahedron
Generates subdivided and truncated icosahedron spheres in Rust.
3d icosahedron meshes polyhedra shapes
Language:Rust 17
VERIMAG-Polyhedra / VPL
Verimag Polyhedra Library
abstract-domain polyhedral-computations polyhedra coq-formalization
Language:OCaml 17
Polyhedra
alexeylarionov / Polyhedra
Blender addon to generate mesh for any Archimedean polyhedra and any of regular star polyhedra of Kepler–Poinsot.
archimedes blender blender-addon blender3d create-mesh kepler-poinsot mesh polyhedra python solid
Language:Python 15
brainsmoke / goled
LED Ball animation software
animations geometry go golang led-controller polyhedra
Language:Go 13
brsr / antitile
Manipulation of tilings and polyhedra using Python and Antiprism
polyhedra goldberg-polyhedra geodesic-grids geodesic subdivision tiling grid-subdivision sphere python geometry 3d
Language:Python 12
mit-acl / separator
Linear separability (via planes) of two sets of 3D points
linear-separability convex-hull 3d-points linear-programming glpk polyhedra planes feasibility
Language:C++ 12
stephane-caron / pyfme
Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy
fourier-motzkin-elimination polyhedra polyhedral-computations polyhedron polytopes
Language:Python 10
Chaotic-Cody / polyhedron
Experimenting with polyhedrons and porting portions of Polyhedronism (Levskaya) to Rblx.Lua.
3d-geometry polyhedra goldberg-polyhedra
Language:Lua 9
polytwisters / polytwisters
render a class of curved 4D shapes
3d-art computational-geometry geometry polyhedra
Language:Python 9
yuzawa-san / PolyhedraSaver
A macOS screensaver with various convex polyhedra bouncing across the screen.
screensaver polyhedra polyhedron macos-screensaver
Language:Swift 8
JuliaPolyhedra / CutPruners.jl
Modular framework for cut pruning algorithms
julia polyhedra pruning
Language:Julia 6
watchduck / convex_polyhedra
polyhedra raytracing python3 sympy convex-hull constructive-solid-geometries pov-ray
Language:POV-Ray SDL 6
PharaohCola13 / GeoExpanse
Open Source: Visual and Computational Geometry GUI
python geometry matplotlib-animation tkinter gui polyhedra educational-software mathematics
Language:Python 4
Pseudomanifold / polyhedron-3d-vertex-colours-plugin
An inkscape plugin for visualizing 3D polyhedra with vertex colours
inkscape inkscape-extension polyhedra wavefront-obj svg
Language:Python 4
brainsmoke / polymap
Generate laser cuttable polyhedrons with globe projections on them
globe laser-cutting polyhedra projection-mapping
Language:Python 3
DelSquared / GraphJS
A Library to handle computation within the context of Graph Theory for Javascript (currently in development)
combinatorics discrete-mathematics graph graph-theory javascript javascript-library linear-algebra matrix-library network polyhedra topology
Language:JavaScript 3
IITH-Compilers / UTVPI-OA
Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination
fourier-motzkin-elimination linear-programming octagon-domain over-approximations polyhedra
Language:C++ 3
brainsmoke / dhxlamp
led-controller animation geometry polyhedra python
Language:Python 2
etienneandre / PolyOp
Operations on Polyhedra (simple layer on PPL)
polyhedra polyhedral-computations ppl
Language:OCaml 2
maked0n1an / zk-bridge
Bot for passing activities using zkBridge
zkbridge polyhedra
Language:Python 2
mki1967 / mki3d
Rapid 3D modelling in web browser
3d design modeling polyhedra pwa-apps webgl
Language:JavaScript 2
dannyob / polyhedra
Polyhedrons on parade, c/o Chickadee
chickadee guile polyhedra scheme sdl
Language:TeX 1
dymaxion
geoid-org / dymaxion
Unit Geometry Library
dymaxion geoid geometry polyhedra spherical-geometry python
Language:Python 1
JuliaPolyhedra / julia-porta
The Julia distribution of the POlyhedron Representation Transformation Algorithm (PORTA).
convex-hull-algorithms polyhedra polyhedral-computations polytopes porta
Language:C 1
sayarghoshroy / Linear-Programming-Problems
Formulations and Solutions to a set of Problems using Linear Programming Paradigms
linear-programming illumination sudoku-solver sudoku-generator polyhedra polygon fitting-algorithm jigsaw-puzzle cvxpy python
Language:Jupyter Notebook 1

polyhedra

tesseralis / polyhedra-viewer

JuliaReach / LazySets.jl

levskaya / polyhedronisme

JuliaPolyhedra / Polyhedra.jl

cddlib / cddlib

virtualritz / polyhedron-ops

avaxman / libhedra

cvdlab / LinearAlgebraicRepresentation.jl

JuliaPolyhedra / CDDLib.jl

glotzerlab / coxeter

Coq-Polyhedra / Coq-Polyhedra

thallada / icosahedron

VERIMAG-Polyhedra / VPL

alexeylarionov / Polyhedra

brainsmoke / goled

brsr / antitile

mit-acl / separator

stephane-caron / pyfme

Chaotic-Cody / polyhedron

polytwisters / polytwisters

yuzawa-san / PolyhedraSaver

JuliaPolyhedra / CutPruners.jl

watchduck / convex_polyhedra

PharaohCola13 / GeoExpanse

Pseudomanifold / polyhedron-3d-vertex-colours-plugin

brainsmoke / polymap

DelSquared / GraphJS

IITH-Compilers / UTVPI-OA

brainsmoke / dhxlamp

etienneandre / PolyOp

maked0n1an / zk-bridge

mki1967 / mki3d

dannyob / polyhedra

geoid-org / dymaxion

JuliaPolyhedra / julia-porta

sayarghoshroy / Linear-Programming-Problems