Select Python IDE
Available Python IDEs (provided by ETHZ):
WebTigerPython
WebEduPy