Pyjs is a Python-to-Javascript compiler and an AJAX widget set for Web application development. It was forked from Pyjamas and was originally a port of Google's Web Toolkit to Python.
An IDE for HTML, Bash, Perl, PHP, C, etc.
An application server.