shader
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.
Python package to generate procedural terrain in glsl fragment shader format.
Python procedural fire effect
