A library of Python language extensions