Lean ported to Javascript with Emscripten