A library and tool for generating .pex (Python EXecutable) files