Checky is a document validation and analysis extension for Firefox, Mozilla, and Netscape. It provides an easy-to-use interface to many free and commercial online validation and analysis services. It allows the user to validate, analyze, view, and inspect documents containing HTML, XHTML, CSS, RDF, RSS, XML, P3P, hyperlinks, metadata, and many more. It can check Section 508 and WAI compliance of documents with many helpful services. It can help in the design, development, and maintenance of accessible documents for a semantic web.
Marathon is a GUI test tool that allows you to play and record scripts against a Java Swing UI. It's written in Java, and uses Python and Ruby as its scripting language (the emphasis being on an extremely simple, readable syntax that customers/testers/analysts feel comfortable with). Marathon includes a recorder, editor, player, and debugger to simplify working with test scripts.
SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.
Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.