GitHub repository: marklemay/IntelliJATS
Primary language: Kotlin
Description: An ATS Plugin for IntelliJ IDEA.