This project is available at http://lift-project.org .