Various tools that I wrote over the years