ImplicitCad is a competing project which I think is a lot more robust.

https://news.ycombinator.com/item?id=41545100