https://news.ycombinator.com/item?id=19739454
Still not sure why they chose JavaScript.
According to their paper it's a commercial JavaScript engine however:
https://ui.adsabs.harvard.edu/abs/2006SPIE.6274E..0AB/abstra...