OStatic

Java PathFinder is a system to verify executable Java bytecode programs. In its basic form, it is a Java Virtual Machine (JVM) that is used as an expl...

pyvix is a Python wrapper for the VMWare(R) VIX C API that allows Python to programmatically control VMWare(R) virtual machines. Example operations i...

ClassGhost is a small utility that can redefine class files within a running JVM. ClassGhost allows you to directly inject the newly compiled class fi...

YABI93 is an Interpreter for the esoteric programming language Befunge, version Befunge93 . It is written in Java 1.5 and uses Swing for its graphica...

Jasmin is a Java Assembler. It takes ASCII descriptions for Java classes, written in a simple assembler-like syntax. It converts them into binary Java...

FCI is an enviroment for designing algorithms by flow chart diagrams. It can be compiled into a internal virtual machine code, so algorithms can be ex...

This is a dynamic slicing tool for Java programs. The tool modifies the Kaffe virtual machine to collect the execution trace, and compress the trace o...

Netkit is a self-contained environment that makes it easy and costless to emulate complex network configurations on a single host machine. Netkit, in ...

Serrat is a new Programming environment and language, supporting object oriented programming, literate programming (like Knuth web/tabgle), for the .N...

The main goal of this project is to create a IDE Tool for Programming Contests and other similar competitions like the ACM ICPC. Unet Contest IDE Pro...