Ports Search

This is an editor for GraphViz, an excellent program imho for both quickly creating a graphical overview of some collection of related components as well as drawing graphs for systems which are too complex to manage using conventional drawing programs. TINTFU can parse DOT files and render a preview of them in a side pane, while allowing each and every attribute of Graphs, SubGraphs and Nodes to be edited. The results of such changes are immediately updated in the preview pane.

This module provides a useless IRC bot which enables you to play hangman, the classic word game. It comes shipped with a list of ~2000 english words by default. The architecture is plugin based, words, commands and responses can be extended at will by adding new modules. The main motivation was to provide a multi-player text based game for children to help them practising writing.

Armed Bear The right of the people to keep and arm bears shall not be infringed! Armed Bear Common Lisp (ABCL) is an implementation of ANSI Common Lisp that runs in a Java virtual machine. It provides a runtime system, a compiler that compiles Lisp source to JVM bytecode, and an interactive REPL for program development. ABCL runs on platforms that support Java 1.5 (or later), including Linux, Windows, and Mac OS X.

Auto-Sig v2.3 ------------- This application is used to generate .signature and .plan files from a list of quotes. The files are generated by combining a constant header file with one quote which is randomly selected from the quote file. This package includes the source which can be used to build the autosig application and a number of sample shell script which demonstrate how everything works.

Greylite is a SPAM filter with exceptional effectiveness and without false positives. It combines natively with qmail and works as a proxy for any SMTP server. It implements a modified greylisting algorithm that improves the filtering effectiveness and minimizes the delay drawbacks associated with the standard greylisting algorithm. It can be tuned to recognize suspicious clients and reject their attempts multiple times, reaching filtering rates of over 99% without false positives. Greylite is easy to setup and maintain, and it is small and fast.

Email::Abstract provides module writers with the ability to write representation-independent mail handling code. For instance, in the cases of Mail::Thread or Mail::ListDetector, a key part of the code involves reading the headers from a mail object. Where previously one would either have to specify the mail class required, or to build a new object from scratch, Email::Abstract can be used to perform certain simple operations on an object regardless of its underlying representation.

Mail::Audit was inspired by Tom Christiansen's audit_mail and deliverlib programs. It allows a piece of email to be logged, examined, accepted into a mailbox, filtered, resent elsewhere, rejected, replied to, and so on. It's designed to allow you to easily create filter programs to stick in a .forward file or similar. Mail::Audit groks MIME; when appropriate, it subclasses MIME::Entity. Read the MIME::Tools man page for details.

POP3VScan is a transparent POP3-Proxy with virus-scanning capabilities. This means that all your POP3-Clients in the Network can't fetch mails from the internet without that POP3VScan have scanned it. If a virus has been found the mail is replaced with a notification and the original (infeceted) version is stored on the harddisc. Transparent means, that neither the client nor any of the used POP3-servers has to be configured.

smtp-cli is a powerful SMTP command line client with a support for advanced features, such as STARTTLS, SMTP-AUTH, or IPv6 and with a scriptable message composition capabilities supporting anything from simple plain-text messages right up to building complex HTML emails with alternative plain-text part, attachments and inline images. The MIME-Type of the attachments can either be guessed automatically or alternatively set on the command line, separately for each attachment if required.

Alt-Ergo is an automatic theorem prover dedicated to program verification. Alt-Ergo is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Currently, CC(X) can be instantiated by the empty equational theory and by the linear arithmetics. Alt-Ergo contains also a home made SAT-solver and an instantiation mechanism. Alt-Ergo is compact, safe, and modular. Each component is described by a small set of inference rules and is implemented as an Ocaml functor.