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.
The stmpclean utility removes old files (and old empty directories) from the specified directory. It is meant to be used to clean directories such as "/tmp" where old files tend to accumulate. stmpclean never removes files or directories owned by root, which is a feature, not a bug. Great care is taken while descending into the directory, and the operation is secure. Anything that's not a directory, regular file, or symbolic link is also left alone (because programs like screen(1) create sockets and FIFOs under /tmp and expect them to be long-lived). Unlike other programs that do the same task, stmpclean never forks and consumes limited amount of memory. If stmpclean determines a race condition it will log the situation and exit with a failure.
Kerio MailServer is an email and collaboration suite that comes integrated with direct over-the-air (OTA) ActiveSync support, over 14 anti-spam layers (including SpamAssassin), dual anti-virus options (including a ClamAV plugin), collaboration features in Outlook, Entourage, Outlook Mobile, VersaMail, WebMail, and iCal, email archiving, and live automated backups. It supports a variety of SSL-encrypted communication protocols including POP3, IMAP, STMP, and HTTP for WebDAV, CalDAV, Web mail, and wireless ActiveSync. Wireless capabilities include direct email push, synchronization of calendar events, contacts, and tasks, and remote wipe for Windows Mobile devices to delete company data in the event the device is lost or stolen. Authentication options include Active Directory, Apple Open Directory, PAM, and an internal database. It can be administered remotely using an encrypted channel.
The Viper IDS is an IDS sensor that can be used stand-alone or as an add-on to the Wolverine Firewall and VPN server. It can log all alert information to a remote MySQL database that can be analyzed by applications such as ACID, or can be used with Wolverine to provide real-time responses to potential threats by dynamically adjusting perimeter firewall rule sets. It uses Snort for attack signature detection.
PlumpOS is a bootable openMosix node on a CD. Pop the CD into a 486+ computer and you have an instant openMosix node. It supports loading 3rd-party packages and adding custom kernels. It takes up very few resources. It was originally a clone of clump/os, but has evolved into something that doesn't resemble it much anymore.
The T2 SDE is a system development environment for various different devices, including desktop/laptop computers, servers, mobile Internet devices, cellular phones, and miscellaneous appliances. It provides a self-contained and automatic build system based on sources with an up-to-date package collection and development toolchain. T2 allows you to easily update a running system or create a binary distribution that can later be deployed via network, physical media, or as a firmware image.
Rocks is a complete "cluster on a CD" solution for x86 and IA64 Red Hat Linux COTS clusters. Building a Rocks cluster does not require any experience in clustering, yet a cluster architect will find a flexible and programmatic way to redesign the entire software stack just below the surface (appropriately hidden from the majority of users). Although Rocks includes the tools expected from any clustering software stack (PBS, Maui, GM support, Ganglia, etc), it is unique in its simplicity of installation.