GitHub repository: JetBrains/educational-plugin
Primary language: Kotlin
Description: Educational plugin to learn and teach programming languages such as Kotlin, Java, Python, JavaScript, and others right inside of JetBrains IntelliJ Platform based IDEs.