hlsl
Making it easier to work with shaders
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.
HLSL grammar for tree-sitter
