HN · GitHub Signals

OPEN SOURCE, IN FOCUS

verified-3d-mesh-intersection

schildep/verified-3d-mesh-intersection

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

Explore on GitHub ↗

Saved projects stay in this browser. No account needed.

TAKE A CLOSER LOOK

Start with the source.

The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.

Read the documentation on GitHub ↗

Keep exploring

Find projects in the same areas, or search the archive for a different approach.

ANOTHER GOOD FIND

Explore related projects

View the archive ↗

Connected by topics and descriptions.

luo-yihao

atom3d

Atom3d, atomising geometry, is a mesh processing toolbox specifically designed for 3D learning.

Take a look →
qiisun

meshflow

Official PyTorch Implementation of "MeshFlow: Mesh Generation with Equivariant Flow Matching" (SIGGRAPH 2026)

Take a look →
2akouwu

reverify

Verified reverse engineering: AI RE grounded on deterministic tools - results checked against the binary, not hallucinated.

Take a look →