ImplicitCAD

A high-performance programmatic CAD engine using functional representation to generate error-free 3D geometry.

ImplicitCAD reimagines solid modeling by replacing boundary meshes with mathematical functions (F-Reps). Written in Haskell, it provides a powerful OpenSCAD-like language that eliminates common STL artifacts like manifold errors and self-intersections. The engine supports smooth rounding (r-functions), complex CSG operations, and high-quality G-code generation for 3D printing. It is an ideal tool for engineers who prioritize precision, version control, and programmatic scalability over traditional GUI-based design.

https://implicitcad.org