Search Results for "gnu dev environment"

Sophisticated environment for developing web-based applications. It includes lots of handy low-level components including: 1/ mySql interface, including table creation, tables as class, query as iterator 2/ html generation 3/ multi-lingual ability 4/ html form field handling 5/ etc. On top of this is a high-level framework that allows rapid development of database apps including seach/create/display/update, user navigation between related entities and much more. Included, as a...

Moved to https://codeberg.org/andybalaam/CCGtk

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.

There are some useful scripts for development of UNIX. Such as shell environment configuration, vim editor configuration, the system configuration variables, samples of Makefile, and some installation scripts of commonly used software, etc.

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