package OCADml

  1. Overview
  2. Docs


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.


open OCADml

let () =
  let fn = 128 in
  let base =
    let sq = Path3.square ~center:true (v2 2. 4.) in
    Path3.(roundover ~fn (Round.flat ~corner:(Round.circ (`Radius 0.5)) sq))
  and c r h = Path3.ztrans h @@ ~fn r in
  let cones = (fun h -> [ c 0.6 h; c 0.5 (h +. 1.) ]) [ 4.; 5.; 6. ] in
  List.flatten ([ base; Path3.ztrans 2. base; c 0.5 3.; c 0.5 4. ] :: cones)
  |> ~slices:(`Flat 0)
  |> Mesh.to_stl "vacuum_connector.stl"


  • OCADml -- top level library interface
  • PolyText -- point representations of text (only installed if cairo is available)

Vectors and transformations

  • V2 -- 2d vector operations
  • V3 -- 3d vector operations
  • Affine2 -- 2d affine transformation matrices
  • Affine3 -- 3d affine transformation matrices
  • Quaternion -- quaternion manipulation andl application
  • Plane -- normalized cartesian plane operations

2d paths and polygons

  • Path2 -- generation and manipulation of 2d paths
  • Bezier2 -- 2d bezier curves, patches, and splines
  • CubicSpline -- cubic spline interpolation of 2d paths
  • Poly2 -- 2d polygons (outer, and zero or more inner paths)
  • PolyText -- point representations of text (via cairo)

3d paths, coplanar polygons, and meshes

  • Path3 -- generation and manipulation of 3d paths
  • Bezier3 -- 3d bezier curves, patches, and splines
  • Poly3 -- planar 3d polygons (outer, and zero or more inner paths)
  • Mesh -- triangular mesh generation


  • Math -- float and 2d matrix operations
  • BallTree2 -- 2d vector space partitioning search tree
  • BallTree3 -- 3d vector space partitioning search tree

Using OCaml top-level

As this library uses vector types from Gg, the associated pretty printing functionality can be unlocked in the top-level via #require "";;.

CAD Package Specific Frontends

This library only provides a means to generate point and face based geometries, in order to perform boolean operations, validation, and export (to formats other than stl), you'll need to work with a particular CAD package.


[@@deriving cad]

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.


Innovation. Community. Security.