3 ms·

I'd be interested to see how it stacks up against other python-to-js converters in terms of both speed and supported python features.