A user interface library written in Python