GitHub repository: rahulsom/frege-idea-plugin
Primary language: Java
Description: Language support for the Frege programming language in IntelliJIDEA (currently experimental)