> Also, a more recent project by Matt Keeter, Halfspace was announced recently but didn't get much discussion here:

there is (was?) also libfive (and its "studio") from Keeter in-between: https://news.ycombinator.com/item?id=26930822