GitHub repository: AdaCore/Ada-IntelliJ
Primary language: Java
Description: Support for Ada and SPARK languages in IntelliJ IDEA