Java: Operator Overloading as a Compiler Plugin(github.com)

https://github.com/manifold-systems/manifold/tree/master/manifold-deps-parent/manifold-ext