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.
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..).