Listen to FM radio

gnomeradio

Listen to FM radio

utility for tracking and invoicing time spent on projects

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.