# IDE stuff

- [IDE: Workspaces](/ide-stuff/workspaces.md)
- [IDE: GitHub integration](/ide-stuff/github.md)