Search Results for "assistant"

ZPLDesigner is a free and easy-to-use software utility that allows you to create, preview and print label based on Zebra Programming Language (ZPL). ZPL commands ZPL Designer can help you to write ZPL code. The left panel provides a list of the main ZPL commands used to design a label. By hovering the mouse pointer over the desired ZPL command, a detailled description will be displayed on the top "Help" panel. Clicking on it will add this command to the ZPL editor. ZPL Viewer By...

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...

CairngormFlex Assistant creates all class infrastructure need for using Cairngorm framework in Flex application. It decreases development time and manual source manipulation. Update will be soon.

LuaEclipse is an IDE for the Lua language based on the Eclipse platform. It features syntax highlighting, content assistant, code running, integrated documentation and more...