DaVinci is a Python to Javascript cross-compiler.