GitHub repository: IntelliJ-Frege/intellij-frege
Primary language: Kotlin
Description: IntelliJ IDEA plugin for Frege language