Ruby script to generates symbolic exact plane coordinates for spectre tiles
-
Updated
Dec 11, 2025 - Ruby
#
aperiodic-monotile
Here are 4 public repositories matching this topic...
A Lean 4 Certified Proof of 3D Aperiodic Einstein Quasicrystals by Triviality of the Projection Kernel.
research mathematics discrete-mathematics computational-geometry formal-verification delaunay-triangulation discrete-geometry mathlib quasicrystal projection-matrix academic-research de-bruijn lean4 aperiodic-monotile quasicrystals einstein-tile hat-tiling interactive-theorem-prover meyer-set trivial-kernel
-
Updated
Aug 24, 2026 - C++
Aperiodic monotile generator and API for SVG, raster, GLB, STL, CSV, and JSON geometry exports.
-
Updated
Sep 3, 2026 - Python
Houdini HDA generating the Hat aperiodic monotile and its H/T/P/F substitution tilings. Built by an agent pipeline, verified against the cooked geometry.
-
Updated
Sep 6, 2026 - Python
Add this topic to your repo
To associate your repository with the aperiodic-monotile topic, visit your repo's landing page and select "manage topics."