Ports Search

From the web site: Tuareg is a Caml mode for GNU Emacs and XEmacs. It handles automatic indentation of OCaml and Camllight codes. Key parts of the code are hilighted using Font-Lock. Support to run an interactive Caml toplevel and debbuger is provided. This mode attempts to give better results than the one provided in the standard distribution of OCaml. Indentation rules are slightly different but closer to classical functional languages. There is no relation with the Tuareg People, except their reputation of great CAMEL riders and breeders. Documentation is installed into share/doc/tuareg-mode

The Twelf implementation comprises * the LF logical framework, including type reconstruction; * the Elf constraint logic programming language; * an inductive meta-theorem prover for LF; * and an Emacs interface. Twelf provides a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. Example suites include Cartesian Closed Categories and lambda-calculus, the Church-Rosser theorem for the untyped lambda-calculus, Mini-ML including type preservation and compilation, cut elimination, theory of logic programming, and Hilbert's deduction theorem. -- the Twelf home page

automx makes setting up a mail account easy. All your users need to provide is real name, mail address and password. Their mail client and automx will safely handle the rest. automx runs on your server and handles mail account profile requests from your mail clients. Put an end to endless phone calls trying to coach users to configure settings, whose dialogs they can't find. Stop wasting your time writing Tutorials nobody reads. automx unifies Microsoft's and Mozilla's mail account provisioning standards in one powerful Open Source tool. Choose from many backends, including LDAP and SQL, and let automx create standard and individualized profiles for multiple domains on the fly!

Balsa is a mail reader for the GNOME Desktop. It supports many features: * Support for local mailbox formats: mbox, maildir, mh * Allows nested mailboxes * Support for POP3 and IMAP mail access protocols * Printing * Spell Checking * Multi-threaded mail retrevial (optional) * MIME support (view images inline, save parts) * Supports SMTP and/or use of local MTA, ie. Sendmail * Address Book that integrates with GnomeCard * Highly configurable * Active, open development * Multiple character sets for composing and reading messages * Allows file attachments to outgoing messages * GPG/OpenPGP mail signing and encryption

Postfix attempts to be fast, easy to administer, and secure, while at the same time being sendmail compatible enough to not upset existing users. Thus, the outside has a sendmail-ish flavor, but the inside is completely different. Some feautures: Connection cache for SMTP, DSN status notifications, IP version 6, Plug-in support for multiple SASL implementations (Cyrus, Dovecot), TLS encryption and authentication, Configurable status notification message text, Access control per client/sender/recipient/etc, Content filter (built-in, external before queue, external after queue), Berkeley DB database, LDAP database, MySQL database, PostgreSQL database, Maildir and mailbox format, Virtual domains, VERP envelope return addresses and others.

The dovecot antispam plugin watches a defined spam folder (defaults to "SPAM"). Instead of moving mail into special folders or forwarding them to special mail addresses for retraining, the plugin offers two actions for the user: 1. moving mail out of the SPAM folder and 2. moving mail into the SPAM folder. The dovecot plugin watches these actions (and additionally prohibits APPENDs to the SPAM folder, more for technical reasons than others) and tells the spam classifier that it made an error and needs to re-clas- sify the message (as spam/not spam depending on which way it was moved.)

GMime is a set of utilities for parsing and creating messages using the Multipurpose Internet Mail Extension (MIME) as defined by the following RFCs: * 0822: Standard for the Format of Arpa Internet Text Messages * 2045: Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies * 2046: Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types * 2047: Multipurpose Internet Mail Extensions (MIME) Part Three: Message Header Extensions for Non-ASCII Text * 2048: Multipurpose Internet Mail Extensions (MIME) Part Four: Registration Procedures * 2049: Multipurpose Internet Mail Extensions (MIME) Part Five: Conformance Criteria and Examples * 2183: Communicating Presentation Information in Internet Messages: The Content-Disposition Header Field

GMime is a set of utilities for parsing and creating messages using the Multipurpose Internet Mail Extension (MIME) as defined by the following RFCs: * 0822: Standard for the Format of Arpa Internet Text Messages * 2045: Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies * 2046: Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types * 2047: Multipurpose Internet Mail Extensions (MIME) Part Three: Message Header Extensions for Non-ASCII Text * 2048: Multipurpose Internet Mail Extensions (MIME) Part Four: Registration Procedures * 2049: Multipurpose Internet Mail Extensions (MIME) Part Five: Conformance Criteria and Examples * 2183: Communicating Presentation Information in Internet Messages: The Content-Disposition Header Field

GMime is a set of utilities for parsing and creating messages using the Multipurpose Internet Mail Extension (MIME) as defined by the following RFCs: * 0822: Standard for the Format of Arpa Internet Text Messages * 2045: Multipurpose Internet Mail Extensions (MIME) Part One: Format of Internet Message Bodies * 2046: Multipurpose Internet Mail Extensions (MIME) Part Two: Media Types * 2047: Multipurpose Internet Mail Extensions (MIME) Part Three: Message Header Extensions for Non-ASCII Text * 2048: Multipurpose Internet Mail Extensions (MIME) Part Four: Registration Procedures * 2049: Multipurpose Internet Mail Extensions (MIME) Part Five: Conformance Criteria and Examples * 2183: Communicating Presentation Information in Internet Messages: The Content-Disposition Header Field

Object methods for ezmlm mailing lists. This software is beta release. As such, please treat it with the appropriate amount of caution. Let me know if you find any bugs, etc. The main reason for release is to sort of 'test the waters' ... Does anyone apart from me think this is a good idea?? Install by doing the following ... # perl Makefile.PL # make test # make install One thing. For some reason MakeMaker doesn't like symlinks. Please make sure you use the full cantonical path for the qmail and ezmlm binaries. Documentation is in pod format. Please run perldoc Mail::Ezmlm after you have installed it.