← 최신 프로덕트

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.

오픈소스

49 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formally verified 3D CSG

    github.com

    Trust 93 lines spec, not 1000 lines AI code

    Hacker News115점

  2. TG

    github.com

    Fast geometry library for C

    Hacker News201점

  3. Cuq

    github.com

    Formal Verification of Rust GPU Kernels

    Hacker News94점

  4. Detecting collision between 500k circles below 5ms

    github.com

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

    Hacker News59점

  5. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113점