My other concern is that their tooling works in the browser which probably means either typescript or js. If they have simulation support, I hope it's not implemented in ts or js...

I know wasm is also a thing now - so maybe they compiled C or Rust to Wasm or something.