Search Results for "java lightweight ide" - Page 2

YABI93 is an Interpreter for the esoteric programming language Befunge, version "Befunge93". It is written in Java 1.5 and uses Swing for its graphical interface. YABI supports a multilanguage GUI.

TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE

Helium (He) is a lightweight and extremely useful templating engine based entirely on XML. He is 100% Java and 100% TDD (Test Driven Development).

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.

Locos is an object oriented framework for building parsers and other language processing tools.

This is one approach to implementing the ideas discussed as the Public Domain Knowledge Base. Originally coded by Stephen Reed before joining Cycorp and currently maintained by Vic Bancroft. The next release with contributions made here will be versio

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.

Pocket Smalltalk is Smalltalk-80 for small machines. Currently we support PalmOS with a virtual machine. We are looking for ports to other devices. PSt consists of an IDE (currently for Win32), which generates executables from Smalltalk source.