← Latest products

Formally verified polygon intersection

Opus 4.8 oneshots, prev failed. Formally verified polygon intersection. To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.

Open source

49 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Formally verified 3D CSG

    github.com

    Trust 93 lines spec, not 1000 lines AI code

    Hacker News115 pts

  2. TG

    github.com

    Fast geometry library for C

    Hacker News201 pts

  3. Cuq

    github.com

    Formal Verification of Rust GPU Kernels

    Hacker News94 pts

  4. Detecting collision between 500k circles below 5ms

    github.com

    1D/2D/3D Hierarchical Spatial Hash Grid written in C

    Hacker News59 pts

  5. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts