IDE4edu/instructors
instructor resources (authoring plugin, etc)
Public GitHub Catalog
Discovered Sep 26, 2026
IDE4edu / web
Public repository discovered through GitHub real-time crawl.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7968705GitHub System ID
IDE4eduOrganization / User
PublicVisibility
ActiveCatalog Status
More from IDE4edu
IDE4edu/EclipseEditorOverlay
eduride editor plugin
IDE4edu/eduride-analytics
script for analysing and reporting on ide-generated data
IDE4edu/web-support
supporting (not website) files for web repo