Search Results for "source code computer" - Page 15

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

Republic Common Lisp (RCL) is a Lisp "Distro" in the Linux Style of Distributions. It contains a Lisp implementation and set of libraries and tools.

Is an introspective and customizable general purpose language; can be easily extended both in functions and syntax. Implements the idea that source code and program are equivalent, so it isn't compiled and the program source code can be modified runtime

This project is a Java library (.jar) that reads the Java Byte Code file (.class) and formats it into a data structure. However, it a alpha version that it does not support J2ME byte code, and tested in JDK 1.5 environment.

lightIDL is the original libIDL, but without GLib fats.

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.

Pipe Is not a Propeller Emulator, but provides a hosted environment for executing and debugging Parallax Propeller assembly code.

UsiXML4ALL allows the creation of multiplatform software using the UsiXML user interface description language. UsiXML4ALL files are currently being prepared and organized for uploading to sourceforge. Source code and more information will be available so

This is (going to be) a simple interpreter of a simple weakly typed language. The code, now, contains only the token class along with some subclasses, a lexer and some other titbits.

apsScript is a scripting suite that consists of multiple layers. The core is an interpreter capable of processing of assembly-like code, allowing addition of some higher abstraction layers (extensions for functional and OO programing).

Leafpile is a Z-code interpreter, a Java implementation of the Z-machine virtual machine used for running Infocom/Inform interactive fiction story files. Leafpile seeks complete compliance with the Z-machine Standards Document 1.0.

MixGin provides a fluent API for an easy interaction between groovy and java fragments within java code.Those code can be mixed arbitrarily, including automatic category detection and data access of variables declared in groovy within java and vice versa

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

Trison has the goal to become a template engine with support of php, java and the transform ability to javascript to intergrate client/serverside generation of code.