Descartes (julia): Software Defined Solid Modeling
Keywords: solid-modeling|implicit-representions|cad