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