7631 projects tagged "Windows"

Download Website Updated 26 Aug 2005 Maria

Screenshot
Pop 9.95
Vit 1.00

Maria is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism. It is implemented as a pack of software tools that perform reachability analysis and check safety and liveness properties of distributed system models. The models can be constructed either by hand or automatically from other formalisms, such as the CCITT Specification and Description Language (SDL).

Download Website Updated 05 Sep 2005 PyFortune

Screenshot
Pop 14.70
Vit 1.00

PyFortune is a BSD fortune-compatible GUI fortune program. It has over 10,000 fortunes built-in, keeps track of all fortunes that have been displayed so they aren't repeated prematurely, a history with back and forward, bookmarks with a bookmark editor, a fortune weight function to make some categories more likely to appear than others, and a search to find specific fortunes.

No download Website Updated 08 Sep 2005 iGetter

Screenshot
Pop 12.17
Vit 1.00

iGetter is a full featured download manager and accelerator. It can greatly improve the speed of your downloads using segmented downloading. In addition, it allows auto-resume on broken downloads, queue filtering by various criteria, site exploration, searching of mirrors, integration with the FileAvenue.net Web service, CD burning, scheduling downloads for low traffic periods, auto-redial on broken connections, auto hang-up and shut down on completion, and much more.

No download Website Updated 09 Sep 2005 alphaWorks ezweb

Screenshot
Pop 25.20
Vit 1.00

Easy Website Builder is an Eclipse-based tool that enables non-technical users to start with J2EE and be able to independently create dynamic Web sites using a set of wizards, a visual editor, and various drag and drop components. This intelligent tool releases IT staff members from content creation, allowing them to invest their time in programming and infrastructure tasks.

    Download Website Updated 11 Sep 2005 DIYBlog

    Screenshot
    Pop 19.44
    Vit 1.00

    DIYBlog allows you to create a blog even if the only Web space you have available is your ISP's FTP-only space. It even allows you to create a blog aggregator ("planet") using the same kind of Web space.

    Download Website Updated 12 Sep 2005 GIPSpin

    Screenshot
    Pop 21.10
    Vit 1.00

    GIPSpin is a graphical interface programming system which allows code to be visualized and which can generate threaded code. The user constructs code segments using visual boxes. The program flow is represented as links between the boxes. Complex elements such as threader boxes are available to implement threading. Currently, simple C code can be automatically parsed and visualized. The user can also start with the GUI to construct code segments which are turned into C++ code.

    Download Website Updated 12 Sep 2005 gtkGLGraph

    Screenshot
    Pop 23.41
    Vit 1.00

    gtkGLGraph is an OpenGL/Gtk2.0 graphing widget that can draw surface maps as well as X,Y data. The feature set is fairly complete and should be of immediate use to scientific applications.

    Download Website Updated 12 Sep 2005 wxOptParse

    Screenshot
    Pop 16.43
    Vit 1.00

    wxOptParse is a Python program that brings up a graphical representation of the command line options of a Python program, if it happens to use the standard optparse module. What this means is that if if you have a program that uses optparse you can optionally click on checkboxes, edit boxes, combo boxes, etc. instead of using the command line.

    Download Website Updated 12 Sep 2005 Standard GUI Framework for C

    Screenshot
    Pop 31.62
    Vit 1.00

    Standard GUI Framework for C is a framework for building GUI applications in ANSI/ISO standard C in a platform independent (i.e. portable) manner. The framework currently only targets X11, but there are plans to target both Microsoft Windows (Win32) and Apple Mac OS X (Carbon) after the initial release is done.

    Download Website Updated 13 Sep 2005 AutoDL2

    Screenshot
    Pop 25.77
    Vit 1.00

    Autodl2 is a simple to manage and extensible file transfer system that can be configured simply using a configuration file. The system is designed to be lightweight and handle multiple file transfer protocols. Currently only SFTP is supported, though other systems can be added via a plugin system.

    Screenshot

    Project Spotlight

    ABLE

    Develop hybrid intelligent software agents and agent applications in Java.

    Screenshot

    Project Spotlight

    Kanboard

    Simple visual task board software.