DaVinci is a Python to JavaScript cross-compiler.