small tools written in Python