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.