Search Results for "showeq open source project" - Page 3

Erc is an interpreted link-oriented language. Majic is a java-based interpreter for Erc, and Majicc is a c++ based compiler for Erc which uses the Majic libraries.

An extensible Java implementation of the W3C XQuery language. The project aims to provide a generic XQuery parser (written with JavaCC), translation to the XQuery core grammar, modularised query optimisation, and an open XMLSchema type system.

The Aegis VM Project is an on-going effort to implement a lightweight, secure virtual machine for executing Java bytecode. It will eventually feature a modular architecture, Proof Linking, that supports pluggable verification modules.

The goal of the BlueSphere Project is to build a flexible, expandable, and easy-to-use authoring system for all forms of interactive fiction. The present focus of this project is on the development of a new interpreted programming language.

This project delievers the internal plugin support of the JavaCheck for the specification to the Eclipse Platfrom, for instance, Personal Java 1.1.8

It is the primary goal of this project to develop an online LOGO utility using the standard JAVA AWT and Swing capabilities. The general implementation will be based on the UCBerkeley LOGO (UCBLOGO) which includes the graphical displays and LOGO intepre

The JRRE project is a Java runtime environment implementation based on Sun's Java 2 Virtual Machine specification. The system is currently under development at Appalachian State University by undergraduates Christopher Ellsworth and Clarence Alston.

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.

This project is the port of Lua programming language to Java platform. It contains the bytecode compiler and interpreter, that use the same bytecode format as the original version, and partially support standard Lua library.

Janux is a project to port the java virtual machine directly on top of the Linux kernel using bypassing the traditional posix enviroment. This results in very fast java implementation for linux and and opportinuty to develop java based operating syste

The purpose of the project Scream is to develop a scripting language similar to the Scheme programming language. Development is done in and based on Java(TM).

The goal of this project is provide a OpenSource (LGPL) implementation of the Trac 2001 programming language. Please visit the TRAC Foundation website at http://www.tracfoundation.org/ for additional information.

The CLI4J Project provides a framework to create CICSO-like CLIs, using Java and XML to construct a command hierarchy that can be as simple or as complex as required, effectively interacting with console users.

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.

The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj

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.

A static analyzer for Java programs that checks for design guidelines. The project is adopted from PDL (http://portal.acm.org/citation.cfm?id=1218571).

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.

A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.). This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/

NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.

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