Search Results for "unix tool windows" - Page 4

Port of Tcl (Tool Command Language) version 8.3 to the Windows CE operating system.

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

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

Kopio is a PC/Windows scripting language to extract and process data from and to various sources, such as SQL database and Excel, so as to simplify data management programming and enable quick prototyping or application development.

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. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...

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

Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.