Ports 搜索

libcmime is a lightweight mime library, written in C. It attempts to be a general library for parsing and creating mime email messages and is designed to provide an easy to use and easy to integrate interface for developers. libcmime is a pretty fresh project so the library is still in beta state and there will be early and frequent releases.

Tagged Message Delivery Agent (TMDA) is designed to significantly reduce the amount of spam (junk-mail) you receive. TMDA strives to be more effective, yet less time-consuming than traditional spam filters. The technical countermeasures used by TMDA to thwart spam include: - whitelists: accept mail from known, trusted senders - blacklists: refuse mail from undesired senders - challenge/response: allows unknown senders which aren't on the whitelist or blacklist the chance to confirm that their message is legitimate (non-spam) - tagged addresses: special-purpose e-mail addresses such as time-dependent addresses, or addresses which only accept certain kinds of communication. These increase the transparency of TMDA for unknown senders by allowing them to safely circumvent the challenge/response system. TMDA can also be used as a general purpose local mail delivery agent to filter, sort, deliver and dispose of incoming mail.

Virtual Exim is a PHP and SQL based approach to hosting multiple email domains using Exim. Exim is used to collect mail for local users, and an SQL backend is used as a data store for users passwords, and other configuration information.

wmbiff is a dock app that displays the total number of messages or the number of unread messages in different mailboxes. It supports up to 5 mailboxes. It is also possible to execute user-defined commands on new mail arrival (for example, play a .wav file).

SpamProbe Fast, intelligent, automatic spam detector using Bayesian analysis of word counts in spam and non-spam email. Intended for use with procmail to filter inbound email. No manual rule creation required.

spmfilter is a high-performance mail filtering framework, written in C. It attempts to be a general filtering framework for any purposes. Filtering mechanisms are provided by plugins, the API enables spmfilter plugins to access messages as they are being processed by the MTA. This allows them to examine and modify message content and meta-information during the SMTP transaction. Plugins are loaded at runtime and can be processed in any sequence, the processing chain can also be altered by a single plugin

Deep Learning library for Python. Convnets, recurrent neural networks, and more. Runs on Theano and TensorFlow.

RPy is a very simple, yet robust, Python interface to the R Programming Language. It can manage all kinds of R objects and can execute arbitrary R functions (including the graphic functions). All the errors from the R language are converted to Python exceptions. Any module that later were installed on the R system, can easily be used from within Python, without introducing any changes. rpy2 is a redesign and rewrite of rpy. It is providing a low-level interface to R, a proposed high-level interface, including wrappers to graphical libraries, as well as R-like structures and functions.

The Visualization Toolkit (VTK) is an open-source, freely available software system for 3D computer graphics, image processing and visualization. VTK consists of a C++ class library and several interpreted interface layers including Tcl/Tk, Java, and Python. Kitware, whose team created and continues to extend the toolkit, offers professional support and consulting services for VTK. VTK supports a wide variety of visualization algorithms including: scalar, vector, tensor, texture, and volumetric methods; and advanced modeling techniques such as: implicit modeling, polygon reduction, mesh smoothing, cutting, contouring, and Delaunay triangulation. VTK has an extensive information visualization framework, has a suite of 3D interaction widgets, supports parallel processing, and integrates with various databases on GUI toolkits such as Qt and Tk.

This is a component of SPARK 2016. Those looking for the deductive program verification platform known as why3 should refer to math/why3 instead.