Selathco (Simple Extensible LaTeX To HTML Converter) is a tool for converting LaTeX sources to HTML. It supports command-line and GUI modes. A working demo applet is available for MSIE 4.0+ users.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).