AgentDish directory
geometry
Accepted listings with this tag.
| Listing | Category | Score | Trend | Checked | |
|---|---|---|---|---|---|
#1172
↓ -3
verified-3d-mesh-intersection
A Lean 4 project for formally verified 3D mesh intersection and constructive solid geometry, with a browser demo for intersecting example meshes or STL imports. |
Developer Tool / Formal verification / geometry | 83 | ↓ -3 | 45 days ago | Details |
#2010
↑ +1
Egregore
A PyTorch research code file for adaptive topological control in latent spaces, with sphere-to-torus morphing, differentiable gating, and several geometry-inspired loss terms. |
Developer Tools / Machine Learning | 72 | ↑ +1 | 70 days ago | Details |