Clicking on the Software Engineering card once your shed has been build will open the Theia code editor.
Theia is a modular, built for the web integrated development environment based on VS Code. It supports many VS Code extensions. Built on the Language Server Protocol, Theia benefits from a growing ecosystem of over 60 available language servers, delivering intelligent editing support for all major programming languages.
Theia also integrates a full-featured terminal that reconnects on browser reload, keeping the full history.