On Monday, 2 April 2018 at 07:55:26 UTC, drug wrote: > Hasn't somebody started porting nanogui > (https://github.com/wjakob/nanogui)? I'd like to do it, but > don't want to duplicate efforts. I don't know.