Lean ported to Javascript with Emscripten - View it on GitHub