libhttpmime-java
HTTP/1.1 compliant HTTP agent implementation - MIME extension
HttpClient is a HTTP/1.1 compliant HTTP agent implementation based on
HttpCore. It also provides reusable components for client-side
authentication, HTTP state management, and HTTP connection management.
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.
system-config-date
graphical interface for changing system time and date
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.
specimen
MIDI controllable audio sampler for GNU/Linux systems
specto
Unobtrusive update notification program
Specto is a desktop application that will watch any user-specified events
(web, folder, ...). This will allow users, for instance, to specify a website
to watch, and Specto will automatically check for updates on the web page. It
will then notify the user when there is activity. This will allow the user to
be informed of new updates/events instead of having to look out for them.