Ha ha my brain read that as "Lean interpretor in WASM".

Actually i think it's the "for" in the title that's at fault. The repo title is quite clear, but the submission title is ambiguous to me.