Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.
QEMU is a fast processor emulator. Using dynamic translation it achieves a reasonable speed while being easy to port to new host CPUs. In its user mode emulation mode, it can launch Linux processes compiled for one CPU on another CPU. Linux system calls are converted because of endianness and 32/64 bit mismatches. In its full system emulation mode, it emulates a full system, including a processor and various peripherials.
wyoGuide is a tutorial, a collection of guidelines for building cross-platform applications with a well-designed, consistent look and feel. It gives ideas and advice on how an application and its GUI could and should be written. Development with these guidelines gives the GUI of an application a standard set of base functionality. wyoGuide also provides sample code for each guideline written in C++ using the wxWidgets (formerly wxWindows) framework. For a seasoned developer it shouldn't be difficult to adapt these guidelines to other languages or frameworks.
ZMailer is an internet message transfer agent. It is intended for gateways or mail servers or other large site environments that have extreme demands on the abilities of the mailer. It was motivated by the problems of the Sendmail design in such situations. It is intended and designed as a multi-protocol mailer. The only protocol supported in this distribution is RFC822 (and variations).
Plan 9 From User Space is a port of the bulk of the Plan 9 software build environment to Unix. While the libraries make an attempt to play nice with the rest of the system (by using the Unix rules for printf verbs and Unix system headers, for example), this port tries to reproduce the Plan 9 build environment as faithfully as possible, providing u.h and libc.h, and blithely redefining tokens such as open, dup, and accept in order to provide implementations that better mimic the Plan 9 semantics. The result is a more complicated and less Unix-friendly environment, but Plan 9 programs can typically be compiled with little or no changes.