My own small tools written mainly in Python