tools

A collection of small tools and reference resources.