I'd go with something that can generate javascript code and then port an existing player to that. I believe PyPy has a javascript backend or one in development.