Search Results for "jedit"

JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.

Eclipse plug-ins that provide Prover IDE for Isabelle proof assistant, based on Isabelle/Scala framework. Isabelle/Eclipse started as a port of Isabelle/jEdit Prover IDE to integrate with Eclipse IDE as plug-ins. The integration uses common Eclipse components to provide theory editing, correct symbols, completion assistance, prover output and other features. By building on Eclipse it inherits various IDE goodies out of the box. This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse

LilyPond editor based on JEdit, implemented as a JEdit plugin. It is an edit mode and a feature rich plug-in, which provides tools for making LilyPond scores. Features include instant completion, error report, PDF preview.

Jalopy is a source code formatter/beautifier/pretty printer for the Java programming language. It is aimed to provide a full-featured, yet free alternative to the well-known Jindent. Plug-ins for Ant, Eclipse, IDEA, JBuilder, JDeveloper, jEdit, NetBeans.

Uber Micro is an IDE for Atmel AVR Microcontrollers in Linux, as a plug in package for jEdit. It interfaces with jEdit, AVR GCC, GDB, SimulAVR and AVR DUDE to provide a simple and intuitive interface to streamline the code development process in Linux.

Use Xilize to create XHTML pages or entire websites with just a plain-text editor. The markup is similar to Textile and extensible via BeanShell. Run as a jEdit plugin, from the command line, or embed in a Java program. Small, fast, easy-to-use.

ProjectBrowser is a jEdit plug-in which allows the developer to manage multiple projects in jEdit. It uses a columnar browser to display a project's files instead of a tree or a single list.

JPop is a plugin that integrates the poplog (http://sourceforge.net/projects/openpoplog) environment as a plugin for the jedit (http://sourceforge.net/projects/jedit) programmers editor. The plugin is written in a mixture of Java, pop11, and beanshel

A plugin for jEdit which allows UIUC students to remotely utilize the Engineering Workstations within a fully-fledged Integrated Development Environment.