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.
gq
GTK-based LDAP client