Ports 搜索

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 是一个强大的 SMTP 命令行客户端， 支持如 STARTTLS、SMTP-AUTH、IPv6 等高级功能， 支持从简单的纯文本消息的编写到带有可替换纯文本部分、附件和 内联图片的 HTML 电子邮件的构建。 每个附件的 MIME-Type 都可以独立地自动猜测或者在命令行里指定。

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.