Some python utilities that I find useful