Yasma (Yet Another Sendmail Logfile Analyzer) is a reporting tool for sendmail log files. It provides a nice overview of your mail traffic like: messages transferred, some average values, top lists of messages sent, received, rejected, etc., and top lists of supposed spammers, status messages, relay hosts, and mailers. It analyzes one or more log files from the command line and writes an HTML report. For security, it can hide the user part of mail addresses listed in the report. A GeoIP database can be used to show country information.
RLC is a tool that performs reciprocal link checking automatically. Simply tell it where the remote Web pages you wish to monitor are, and the URLs of your links. It will then crawl the remote Web pages and give you feedback on the latest status (found, link not found, or page not found/network error). You may activate the checking as needed, or set up cron to carry out the checking once a week or so.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Absolut Engine is a PHP/MySQL framework built on the basis of a former news publishing system. It features 3 layer access, article posting, editing, and deleting. Included are a basic image and file manager as well as a related articles manager. Rich text editing is provided via a built-in WYSIWYG editor that produces XHTML 1.0 Strict compliant code. It is easy to extend via the module functionality. It is fully configurable and easy-to-use. Modules include discussions, surveys, RSS feed export and import, search engine optimization, a messaging system, weather reports, and Google Maps.
Accountability Pal monitors your network and keeps track of who is using the Internet and what they are viewing, downloading, uploading, etc. It emails a report of each user's activity to the person/people you specify. It will monitor HTTP traffic, Peer-to-Peer, FTP, and more. It uses a plugin interface to allow others to easily add new protocols to its monitoring abilities.