libfive is a new CAD kernel based on functional-representation. It seems like a good library to use to make something like that, if anyone is interested.