ArgoUML is a pure Java open source UML CASE tool that provides cognitive support for object-oriented design. ArgoUML provides some of the same editing and code generation features of a commercial CASE tool, but it focuses on features that enhance usability and support the cognitive needs of designers. Uses XML file formats: XMI and PGML.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
VNC Reflector is a specialized VNC server which acts as a proxy between a real VNC server (a host) and a number of VNC clients. It was designed to work efficiently with large number of clients. It can switch between different hosts on the fly, preserving client connections. It supports reverse host-to-reflector connections, it can save host sessions on disk, and it also has other unique features.
JRobot is a Java utility to manipulate the Mitsubishi RVM1 robot. Its features include the ability to connect to a RVM1 robot locally and remotely, viewing from a camera with RTP, and a virtual view which is useful when executing JRobot in test mode. It is possible to manipulate the RVM1 robot with a joystick and program and test it with a GUI.