GitHub repository: svenuthe/IDE
Primary language: Java
Description: Provides editor support for various network programming and other specifications languages used in the development lifecycle.