gnomeradio
Listen to FM radio
gnotime
utility for tracking and invoicing time spent on projects
openchangeproxy
Experimental MAPI (Exchange/Outlook) proxy
kxterm
CERNLIB data analysis suite - KUIP terminal emulator
CERNLIB is a suite of data analysis tools and libraries created for
use in physics experiments, but also with applications to other
fields such as the biological sciences.
lacheck
Simple syntax checker for LaTeX
LaCheck is a simple syntax checker for LaTex that is based on a
single-pass lexical scanner. This makes clear that there are a lot of
LaTeX problems this program cannot find, although it will find most
simple mistakes. Complex macro packages may, however, make it completely
unusable.
ladr4-apps
the LADR deduction library, miscellaneous applications
LADR (Library for Automated Deduction Research) is a library for
use in constructing theorem provers. Among other useful routines it
provides facilities for applying inference rules such as resolution
and paramodulation to clauses. LADR is used by the prover9 theorem
prover, and by the mace4 countermodel generator.