GitHub repository: Frege/eclipse-plugin
Primary language: Java
Description: The eclipse plugin for frege, codename fregIDE