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.
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 👍