Github Codespaces

A VS-Code based web editor for your repo (with dependencies, supports docker etc).

• Marketing Page
• Documentation (specifically that one is how to use a dotfiles repo for crazy magic)