OStatic

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin part...

Create, Model & Analyse with a Standards Compliant Petri Net Tool PIPE2 is the active fork of the Platform Independent Petri net Editor, and is c...

Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.

A set of extensions to Tcl/Tk for reading, manipulating, and displaying geographic and cartographic data. It can serve as a starting point for develo...

Jove - The Open Verification Environment for the Java (TM) Platform

ORE (Ontology Rule Editor) is a platform-independent application to manage the use of inference rules defined on a model represented by an ontology. O...

Tkradar is a set of C libraries and Tcl/Tk packages for accessing, manipulating, and displaying various forms of weather radar data. It requires Tcl,...

ESS DVD Chip set (MIPS-X) Patcher program. A general purpose hacking util to view and alter MIPS source code (apply patches), images, backgrounds, and...

File Cryper is a Simple program, that is able to encrypt your files and decrypt them.

Juno - OpenVera (TM) to Jove Translator