RSS 7 projects tagged "Windows"

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 74.23
Vit 5.91

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.

Download Website Updated 09 Apr 2008 SMTPUtils

Screenshot
Pop 34.03
Vit 1.00

SMTPUtils is a tool to secure mail servers, through testing or analysis, which provides the service manager or staff of computer security a summary of its implementation. It currently supports: resolution by MX record, checking for open relays, testing the perimeter antivirus system, testing the anti-spam system, performance testing, obtaining information, checking for DNSBL, SPF greylisting autodetection, and ping support.

No download Website Updated 18 Dec 2007 Burp suite

Screenshot
Pop 35.69
Vit 1.66

Burp suite allows an attacker to combine manual and automated techniques to enumerate, analyse, attack, and exploit Web applications. The various burp tools work together effectively to share information and allow findings identified within one tool to form the basis of an attack using another. Numerous interfaces are implemented between the different tools, designed to facilitate and speed up the process of attacking a Web application. All tools share the same robust framework for handling HTTP requests, authentication, downstream proxies, logging, alerting, and extensibility. Burp suite is extensible via the IBurpExtender interface.

No download Website Updated 20 Oct 2006 Effusia Business Messenger

Screenshot
Pop 53.11
Vit 3.03

Effusia Business Messenger is a cross-platform, centrally managed, internal instant messaging and presence communication tool for small to medium enterprises. The system comprises a client, a server, and an integrated Web based administration tool. Effusia focuses on providing real-time business communication combined with simple deployment, easy administration, and a friendly end-user experience.

Download Website Updated 30 Jul 2006 Jacksum

Screenshot
Pop 95.33
Vit 4.28

Jacksum is a platform-independent utility for computing and verifying checksums, CRCs, and message digests, as well as timestamps of files. It supports most common checksum algorithms. The format of the output is fully customizable. The program is large-file-aware, and recursive file processing as well as platform-independent file verification are supported.

Download No website Updated 25 May 2004 Project Lima

Screenshot
Pop 12.25
Vit 1.00

Project Lima is a software tool for factorizing arbitrary integers using probabilistic algorithms and distributed computing methods.

Download Website Updated 14 Apr 2004 Akeni Jabber Client

Screenshot
Pop 38.18
Vit 1.48

Akeni Messenger Jabber Edition is a cross-platform client for Jabber compliant servers. It features an XML-based messaging protocol, private chatting, conference mode, broadcast messages to groups of people, message log, a typing indicator, a full-featured rich-text editor, emoticons, and powerful online presence management.

Screenshot

Project Spotlight

CorneliOS

A virtual Web OS.

Screenshot

Project Spotlight

Surf Canyon for Firefox

A plugin to find things faster on Google, Yahoo!, and MSN.