ImplicitCAD | Hugonweb Annotated Link Bibliographyhttps://implicitcad.org/A Haskell-based CAD system. I'm not sure how actively developed it is.