You forgot to mention Gitpod (gitpod.io/) One defines dev env in Dockerfile, checks it in on GitHub, let Gitpod build it continuously together with the project, and then can open it in one-click on any branch and PR. It's based on Theia and used to develop Theia, see github.com/theia-ide/theia/blob/ma...
All other solutions are just IDEs without automation part, you still have to configure your tools and build everything manually.
Gitpod is basically Theia as service. I listed projects, not services so ¯\_(ツ)_/¯.
Thanks for developing Theia and co 👍
We're a place where coders share, stay up-to-date and grow their careers.
We strive for transparency and don't collect excess data.