This webapp implements the 2024 paper “Tiling with Three Polygons is Undecidable”, by Erik Demaine and Stefan Langerman.
Given n Wang tiles, the app computes three polygons that tile the plane if and only if the Wang tiles do.
Try out the app to see the implementation in action. It starts with an example of 11 Wang tiles that tile only periodically. You can add or remove colors or Wang tiles with the +/− buttons. You can change Wang tiles by dragging a color to a tile edge.
To develop locally, use the following commands on a checkout:
corepack enable(or otherwise install PNPM)pnpm install(whenever dependencies change)pnpm dev(to run a local development web server)