GitHub repository: polyml/jedit-plugin
Primary language: Java
Description: Plugin code for jedit to interact with the Poly/ML IDE interface