time_uuid is a lightweight Python library for sensibly dealing with UUIDv1 (or TimeUUIDs as we like to sometimes call them). It allows you to create UUIDv1s in a variety of different ways. Take a look at the docs for the interface.
Author: Samuel Sutch (@ssutch)
PyPi: http://pypi.python.org/pypi/time-uuid/
Docs: http://packages.python.org/time-uuid/
License: BSD
I am definitely open to contributions. Please feel free to submit your lock implementation.