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.

python-loggingx

Generic utilities for the Python logging facility.

That includes logging handlers for authenticated SMTP (with TSL), jabber XMPP and desktop notifications. It has also some additional formaters: ColorFormatter, etc.
Command-line client for the MAPI (Exchange/Outlook) protocol

openchangeclient

Command-line client for the MAPI (Exchange/Outlook) protocol

lakai

transfers samples between a PC and an AKAI sampler

Lakai is a small set of tools (+ a link library) used to transfer sampler data (programs, samples) between a PC with a SCSI host adapter and an AKAI sampler (S1000, S2000..).