some tiny tools written in python