Transferred to https://emukit.github.io/emukit-playground/