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.
AIM Sniff is a utility for monitoring and archiving AIM and MSN messages across a network. It can be used to monitor for cases of harassment or warez trading. It has the ability to do a live dump (actively sniff the network) or read a PCAP file and parse the file for IM messages. You also have the option of dumping the information to a MySQL database or STDOUT. AIM Sniff will also monitor for an IM login and then perform an SMB lookup on the originating computer in order to match NT Domain names with IM login names (handles).
APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.