Looks like gitpod to me: https://github.com/gitpod-io/gitpod