GitHub repository: JetBrains/kotlin-spec
Primary language: ANTLR
Description: Kotlin Language Specification (work in progress):