← 최신 프로덕트

Formally verified 3D CSG

Trust 93 lines spec, not 1000 lines AI code. Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code. To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formed.

오픈소스

110 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Formally verified polygon intersection

    github.com

    Opus 4.8 oneshots, prev failed

    Hacker News93점

  2. Cuq

    github.com

    Formal Verification of Rust GPU Kernels

    Hacker News94점

  3. Detecting collision between 500k circles below 5ms

    github.com

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

    Hacker News59점

  4. A 3D mesh playground for coding agents (three.js + manifold-3d)

    sketchagent.dev

    Built with SketchAgent · gemini-4-argon · 8 tool calls.

    Hacker News5점

  5. LuaCAD

    luacad.ad-si.com

    Parametric CAD Scripted in Lua

    Hacker News106점