Search Results for "gnu dev environment"

Dude is a small simple development environment written in Java which allows you to compile and run Java programs without using the command window. It is platform independent and open source. Dude is easy to set up and uses the same directory structure for source and object files.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.

Dao Studio is an integrated developing environment for the Dao programming language. It includes a source code editor and command line console with syntax highlighting, and supports interactive debugging mode.

qenqote is a Python/Gtk program to operate on snippets of text from the clipboard and put results back on the clipboard. This allows automation of common editing operations. In its prototypical application, qenqote accepts URL's that have been copied or cut to the clipboard from a browser bar. qenqote applies a user-selected quoting function, and writes the result back to the clipboard. Besides its URL transformation applications, qenqote can be given a variable name from...