Ports 搜索

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.

This is a module for finding a subset of RFC 822 email addresses in arbitrary text. The addresses it finds are not guaranteed to exist or even actually be email addresses at all, but they will be valid RFC 822 syntax. Email::Find will perform some heuristics to avoid some of the more obvious red herrings and false addresses, but there's only so much which can be done without a human. -Anton <tobez@FreeBSD.org>

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.

Bogofilter is a trainable email spam detector. Bogofilter takes an email message or other text on standard input, parses it into words, does a statistical check against databases of "good" and "bad" words, and returns a status code indicating whether or not the message is spam. Bogofilter decodes base64 or quoted-printable encoded texts and ignores non-text attachments and HTML comments. The supported database backends are Berkeley DB, QDBM and SQLite3.

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

dlmodeler is a set of user-friendly functions to simplify the state-space modelling, fitting, analysis and forecasting of Generalized Dynamic Linear Models (DLMs). It includes functions to name and extract individual components of a DLM, build classical seasonal time-series models (monthly, quarterly, yearly, etc. with calendar adjustments) and provides a unified interface compatible with other state-space packages including: dlm, FKF and KFAS.

The MPFR library is a C library for multiple-precision floating-point computations with exact rounding (also called correct rounding). It is based on the GMP multiple-precision library. The main goal of MPFR is to provide a library for multiple-precision floating-point computation which is both efficient and has a well-defined semantics. It copies the good ideas from the ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit mantissa).

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.

Minpack includes software for solving nonlinear equations and nonlinear least squares problems. Five algorithmic paths each include a core subroutine and an easy-to-use driver. The algorithms proceed either from an analytic specification of the Jacobian matrix or directly from the problem functions. The paths include facilities for systems of equations with a banded Jacobian matrix, for least squares problems with a large amount of data, and for checking the consistency of the Jacobian matrix with the functions