formed

formula editor for first-order logic formulae

php8.0-interbase

Interbase module for PHP

This package provides the Interbase module(s) for PHP.

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.

fortunes-pl

Polish data files for fortune

A collection of fortune cookies in Polish.
GTK-based LDAP client

gq

GTK-based LDAP client