OCADml is a collection of types and functions built on top of Gg facilitating Computer Aided Design (CAD) in OCaml. In particular, the style of design currently supported is that of 2D drawing and mesh generation via sweeping/extrusion.
OCADml -- top level library interface
V2 -- 2d vector operationsV3 -- 3d vector operationsAffine2 -- 2d affine transformation matricesAffine3 -- 3d affine transformation matricesQuaternion -- quaternion manipulation andl applicationPlane -- normalized cartesian plane operationsPath2 -- generation and manipulation of 2d pathsBezier2 -- 2d bezier curves, patches, and splinesCubicSpline -- cubic spline interpolation of 2d pathsPoly2 -- 2d polygons (outer, and zero or more inner paths)PolyText -- point representations of text (via cairo)Path3 -- generation and manipulation of 3d pathsBezier3 -- 3d bezier curves, patches, and splinesPoly3 -- planar 3d polygons (outer, and zero or more inner paths)Mesh -- points and faces 3d mesh representation (polyhedrons)Math -- float and 2d matrix operationsBallTree2 -- 2d vector space partitioning search treeBallTree3 -- 3d vector space partitioning search treeThis library only provides a means to generate point and face based geometries, in order to perform boolean operations, validation, and export, you'll need to work with a particular CAD package.
There is a companion ppx, [@@deriving cad] for generating transformation functions for user-defined records and abstract types composed of types for which the basic transformation functions are defined, such as vectors (V2.t or V3.t) (and those composed of them) provided in this library.