On-demand developer environments are a really powerful idea: https://github.com/features/codespaces I've seen projects attempt to ship a developer toolchain inside a Docker container, but this feels much more ergonomic.