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.
graphical interface for changing system time and date

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.
MIDI controllable audio sampler for GNU/Linux systems

specimen

MIDI controllable audio sampler for GNU/Linux systems

Unobtrusive update notification program

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.