Barend Rauch, Ebruxx and R3SYNTH