library
Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
Academic-grade polygon intersection verification with limited practical use cases
3.9Overall
Utility3
Onboarding2
Craft6
Niche fit5
Longevity3
Five dimensions scored independently; overall is a weighted average. Scores are only comparable within this same rubric.
Good for
Researchers needing formally verified polygon intersection
Not for
Developers needing production-grade geometry computation
Project description
github.com
Alternatives
CGALJTSTurf.js