5 repositories on SrcLog
Computer Aided Design (CAD) in OCaml
OpenSCAD DSL for OCaml
Automated generation of OCADml transformations over user created types