Alternatives
Products that do what Meshy does
Meshy-7
- 1
- 2
- 3
- 4
- 5
- 63M
2021 · github.com
- 7
- 8FV
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-formedness conditions on the triangulation. This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of…
Jul 2026 · github.com
- 9
- 10
- 11
- 12
- 13VD
2012 · cubehero.com
- 14
- 15AA
2018 · erkaman.github.io
- 16RT
2023 · replicad.xyz
- 17FP
Hello HN users, This is a CAD by code project I have been working on on my free time for more than year now. I built it with 3 goals in mind: - It should be familiar to CAD designers who have used other programs. Same workflow, same terminology. - Reduce the mental effort required to create models as much as possible. This is achieved by: - Provide live rendering and visual guidance as you type. - Allow the user to reference existing edges/faces on the scene instead of having to calculate everything. - Provide interactive mouse helpers for features that are hard to write by code: Only 3…
Apr 2026 · fluidcad.io
- 18
- 19GA
2021 · victorribeiro.com
- 20
- 21
- 22MG
My friend (designer) and I (programmer/3D enthusiast) built this as a side project after getting frustrated with existing galleries that label anything "3D" - including pre-rendered videos and static images - making it hard to find what's actually possible in the browser right now. mesh3d.gallery only lists websites doing real-time 3D with WebGL, Three.js, or similar. We hand-picked the first ~150 ourselves, and since opening submissions, users have added more, though everything still goes through us before it goes live. Tech stack used: - Next.js (I regret this decision deeply) -…
Apr 2026 · mesh3d.gallery
- 23AP
2019 · pmp-library.org
- 24ST
Creating high-quality scientific figures can be time-consuming and challenging, even though sketching ideas on paper is relatively easy. Furthermore, recreating existing figures that are not stored in formats preserving semantic information is equally complex. To tackle this problem, we introduce DeTikZify, a novel multimodal language model that automatically synthesizes scientific figures as semantics-preserving TikZ graphics programs based on sketches and existing figures. We also introduce a Monte Carlo Tree Search-based inference algorithm that enables DeTikZify to iteratively refine its…
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →