Life & fun · alternatives · 2026
24 alternatives to Truncations of a polygon
Truncations of a polygon
Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Truncations of a polygon launched in 2015; newer entries below may have overtaken it.
- 1
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps. Trust in the correctness comes entirely from the Lean checker and human review of a small specification, not from the LLM. Also check out the web demo built around the verified core linked in…
Jun 2026 · github.com · its alternatives →
- 2GA
Just a quick little feature I implemented over the weekend. TODO: Assure that polygons can be palindromic as well
2024 · altayakkus.dev · its alternatives →
- 3
Stephen Wolfram's new book on the Wolfram Language
2015 · wolfram.com · its alternatives →
- 4
2016 · kleemans.ch · its alternatives →
- 5
A fast Bresenham type algorithm for drawing filled ellipses - notprathap/filled-ellipse
2015 · github.com · its alternatives →
- 6
My own implementation of a Delaunay triangulation and Voronoi partition in Python applied to images. - MauriceGit/Delaunay_Triangulation
2015 · github.com · its alternatives →
- 7
The value of optionality before you know where you're going.
2015 · exponent.fm · its alternatives →
- 8VM
Topological visualizations for the masses
2020 · topovis.iambeef.com · its alternatives →
- 9BT
2016 · getinsightico.com · its alternatives →
- 10TY
2021 · phoe.github.io · its alternatives →
- 11
- 12
Find a, b, or c | free online tool
2025 · pythagoreantheoremcalculator.org · its alternatives →
- 13
2025 · abdullahdevrel.github.io · its alternatives →
- 14
2018 · gitlab.com · its alternatives →
- 15
2018 · gitlab.com · its alternatives →
- 16
Hi everyone, I’m a student with a strong interest in computer science and complexity theory. Recently, I worked on a manuscript attempting to prove that P ≠ NP. I know how this sounds — it’s one of the hardest and most debated problems in CS, and many have tried and failed. I don’t claim to have the final answer, but I believe the approach I used might at least offer some fresh perspective or provoke useful critique. The idea involves geometric separation between deterministic and nondeterministic computation, using high-dimensional lattice constructions and some physics-inspired intuition.…
2025 · zenodo.org · its alternatives →
- 17TP
Mathematical Physics & Geometric Signal Processing
2019 · jwkennington.com · its alternatives →
- 18GA
A tool to paste functions, transformations, and structures on a geometric plane
2014 · gridpaste.io · its alternatives →
- 19DE
2013 · htmlpreview.github.io · its alternatives →
- 20
An interactive preset in Attractor, a tool to generate and animate fractals based on iterated functions of complex numbers
2020 · attr.actor · its alternatives →
- 21AT
2016 · grondilu.github.io · its alternatives →
- 22
2018 · twitter.com · its alternatives →
- 23
2016 · github.com · its alternatives →
- 24KM
2024 · krata.app · its alternatives →
Also compare
- Formally verified polygon intersection – Opus 4.8 oneshots, prev failed alternatives
- Geometry-aware Hashing of GeoJSON objects alternatives
- An Elementary Introduction to the Wolfram Language alternatives
- Draw a map and let it be colored – Four color theorem demo alternatives
- A fast Bresenham type algorithm for drawing filled ellipses alternatives
- Image-triangulation – Delaunay and Voronoi from scratch alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →