The demo runs a boolean difference between a 500k-triangle dragon and a sphere at ~15ms per boolean (on M4), client-side via WASM. You can drag either mesh. The side menu has selectable mesh sizes (50k to 500k) and other demos.

Reproducible benchmarks against CGAL, VTK, libigl, FCL and Coal (source code and methodology): https://trueform.polydera.com/cpp/benchmarks

Theory and papers: https://trueform.polydera.com/cpp/about/research