Nim looks a lot like Python with a first-class type system and compiles to many different targets, including wasm and C.