a collection of little tools I find useful