GitHub repository: JetBrains/educational-plugins
Primary language: Java
Description: Educational plugin for Kotlin programming language