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.