FreeCAD - An open-source parametric 3D modeler
OpenSCAD - OpenSCAD is a software for creating solid 3D CAD objects.
BRL-CAD - BRL-CAD: Open Source Solid Modeling
ImplicitCAD - ImplicitCAD is a programmatic CAD program, implemented in Haskell.
CadQuery - CadQuery is a parametric cad script framework
HyperFun - HyperFun is a simple specialized high-level programming language.