GitHub repository: nerds-github/gitpod
Description: The developer platform for on-demand cloud development environments to create software faster and more securely.