Wgsl Python Packages

monogate-forge

EML language and compiler for verified mathematical computation. 33 backends (software · GPU shaders · FPGA · Lean proofs · safety-critical) from one source, with chain-order analysis and Lean-checkable contracts on every function.

torch-webgpu

PyTorch compiler and WebGPU runtime