formed
formula editor for first-order logic formulae
liblutok3
lightweight C++ API library for Lua -- shared object
Lutok provides thin C++ wrappers around the Lua C API to ease the
interaction between C++ and Lua. These wrappers make intensive use of
RAII to prevent resource leakage, expose C++-friendly data types, report
errors by means of exceptions and ensure that the Lua stack is always
left untouched in the face of errors. The library also provides a small
subset of miscellaneous utility functions built on top of the wrappers.
fortunes-cs
Czech and Slovak data files for fortune
Collection of about 7400 fortunes in Czech and Slovak. This package
can be a replacement for or an addition to the fortunes package
to let fortune speak Czech and/or Slovak.
exmh
extensible X user interface for MH mail
Exmh uses the regular MH programs to manipulate your mail folders and
messages. This means it is compatible with command-line use of MH
programs, and its actions should be familiar if you are an experienced
MH user. If you are a new MH user, then the details of running MH
programs are hidden behind the graphical interface.