Search Results for "linux android tool" - Page 3

nsjava is a loadable c-module which embeds a java virtual machine in aolserver. This module is being developed to support the openacs project - see http://openacs.org, but it could find general application as a web development tool.

Envy - a tool to help pascal programmers. You definetively want to have this since a simple script could change your source file the way you want it.

Eugene2 is the second version of an EXPRESS (ISO 10303-11/STEP) tool. It is able to parse and check EXPRESS schemata, and to parse and check STEP exchange files (ISO 10303-21/STEP). Eugene2 can produce different kind of output. Mainly meta-data that e

Development tool for database based application creation.

vIDE is a cross-platform tool for writing and simulating Verilog models. It provides user friendly project management and file editing, integrated simulation engine, waveform viewer, pre-compiled modules, and many other cool features.

RBML is similar to XML or ASP. It is a server-side tool for either generating static HTML pages or dynamic pages as CGI-BIN scripts. RBML is a macro expansion language. Text from the input file is written to the output file unmodified unless it is enclo

What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.

jMARS is a java implementation of the famous "Core Wars" application first described by A.K. Dewdney. Using eXtreme Programming combined with Java, EJB, and the Rich Client Platform it can be used as an educational tool to understand these technologies