[txdv]

Yes, there are multiple efforts which compile JVM bytecode and CIL bytecode to WASM.