build you own IDE with theia or "you can just prefix any GitHub URL with 'https://gitpod.io/#' and to get a gitpod IDE right there in your browser !
ok i have to try theia out (another day with no work done - thanks devto !)
github
see also
you can use Gitpod for free for up to 50 hours / month on public repositories