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.