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 @@ Path3.circle ~fn r in
    let cones = List.map (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)
    |> Mesh.skin ~slices:(`Flat 0)
    |> Mesh.to_stl "vacuum_connector.stl"

Documentation is available online, covering the API. As this library is not associated with any CAD backend, it is a bit dry on it's own and replete of examples. To get a better idea of what can be done with the tools provided it may be helpful to check out a library utilizing them.

This library only provides a means to generate point and face based geometries, in order to perform boolean operations and validation of properties such as manifoldness you'll need to work with a particular CAD package.

• github
• docs
• examples

• github
• docs

There is a companion ppx, [@@deriving cad] for generating transformation functions for user-defined records and abstract types made up of CAD specific types such as OSCADml's Scad.t, along with their corresponding vector (V2.t or V3.t) types (and those composed of them) provided in this library.

This effort began as an extension of the Scad_ml OpenSCAD DSL, but grew to the point where it seemed prudent to break out into a "backend" agnostic format so as to be more generally useful.

Module organization and implementations borrow heavily from existing libraries in the OpenSCAD community:

• BOSL2
• dotSCAD
• PlotFunction