wgsl
EML language and compiler for verified mathematical computation across 36 targets: software, GPU shaders, hardware (FPGA/ASIC, SPICE, KiCad, and JLCPCB), formal verification, and safety-critical systems.
Compile a restricted subset of Python into WGSL compute shaders that run on WebGPU
PyTorch compiler and WebGPU runtime