Tools

Here are a number of tools that I find useful.