OStatic

MinGW (Minimalist GNU for Windows), formerly mingw32, is a software port of the GNU toolchain to Microsoft Windows. MinGW includes a set of header fil...

Mambo (formerly named Mambo Open Source or MOS) is a free software / Open Source content management system (CMS) for creating and managing websites t...

NASA World Wind is a graphically rich 3D virtual globe for use on desktop computers running Windows. It combines NASA imagery generated from satellite...

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

SkyEye is an Open Source Simulator, which simulates series ARM architecture based microprocessors and Blackfin DSP Processor. Users can run Operating ...

xHarbour is a free (GPL + exception supporting commercial applications) multi-platform (DOS, Microsoft Windows, Linux (32,64), Unix (32,64), Mac OS X)...

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

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

Simulates a city grid of streets, intersections and traffic signals. It supports 8 phases with overlaps, right and left hand drive, turnouts, permitte...