Projects Overview
The developer section includes the project catalog that previously lived in the top-level docs structure. These repositories together define the EduIDE platform, deployment model, extensions, and operational tooling.
Project catalog
- EduIDE Deployment: Infrastructure-as-code and deployment workflows for EduIDE environments.
- Theia Scale Tests: End-to-end and scalability validation for classroom-scale IDE usage.
- EduIDE Shared Cache: Shared Gradle build cache service for faster builds.
- EduIDE LSP Extension: Remote language-server connector for Theia and VS Code.
- EduIDE Data Bridge: Runtime data and credential injection bridge for cloud IDE sessions.
- EduIDE: Custom Eclipse Theia Docker images and packaged IDE environments.
- Theia ARC Runners: Self-hosted GitHub Actions runner infrastructure on Kubernetes.
- Workspace Garbage Collector: Cleanup operator for expired workspaces and storage hygiene.