zonecheck

DNS configuration checker

DNS is a critical resource for every network application, so it is quite important to ensure that a zone or domain name is correctly configured in the DNS.
KDE frontend for potrace

potracegui

KDE frontend for potrace

zonecheck-cgi

DNS configuration checker (web interface)

DNS is a critical resource for every network application, so it is quite important to ensure that a zone or domain name is correctly configured in the DNS.

zope-maildrophost

send mails from within Zope through a mail queue

The MaildropHost product provides support for sending email from within the Zope environment using MaildropHost objects. Unlike the built-in MailHost object, the sending is done asynchronously from a separate process.
generic frontend for proof assistants

proofgeneral

generic frontend for proof assistants

Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs using a variety of theorem provers.

libghc-haskelldb-hdbc-odbc-prof

HaskellDB support for the HDBC ODBC driver; profiling libraries

This library allows you to use the HaskellDB database abstraction library with the ODBC driver provided by the HDBC database driver interface suite.