[dabbit]

Is this an alternative to GitHub Codespaces and GitLab WebIDE?

[hlsiira]

Yeah, it's very similar to the Theia IDE, but it's easier (last I checked which was a year ago) to self host with authentication and I think has a much smaller form factor, both on the server and the client.