spamprobe

Bayesian spam filter

This package provides a spam filter based on the article 'A Plan for Spam' by Paul Graham. It uses a database (either BerkeleyDB or a simpler hash file) to store one- and two-word phrases. Only certain headers are analyzed and HTML tags are ignored to prevent false positives of legitimate HTML emails. Image attachments are considered as words that can signal spam. It can be simply integrated with procmail or maildrop to filter spam on incoming mail.

spass

automated theorem prover for first-order logic with equality

SPASS is a saturation-based automated theorem prover for first-order logic with equality. It is unique due to the combination of the superposition calculus with specific inference/reduction rules for sorts (types) and a splitting rule for case analysis motivated by the beta-rule of analytic tableaux and the case analysis employed in the Davis-Putnam procedure. Furthermore, SPASS provides a sophisticated clause normal form translation.

speech-tools

Edinburgh Speech Tools - user binaries

This package contains the various highly useful utility programs that use and accompany the Edinburgh Speech Tools Library. Audio software and some basic signal processing software is included in this package.

libgnatcoll-lzma2

Ada binding for LZMA compression (runtime)

The GNAT Component Collection deals with: module tracing, efficient file IO, static string searching (Boyer-Moore), e-mails and mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging, shell scripting. Components relying on external dependencies are distributed in separate packages.

libnb-platform-devel-java

Build harness for NetBeans Platform

The NetBeans Platform is a framework for building rich desktop applications in Java. It provides the code that is required to connect actions to menu items, toolbar items, keyboard shortcuts and more. It is the core of the NetBeans IDE.

spf-milter-python

RFC 7208 compliant SPF Milter for Sendmail and Postfix

A Python mail filter to add Received-SPF headers and reject forged mail. Rejection policy is configured via sendmail access file. Updated for RFC 4408 compliance.