#
wgsl
Here are 3 public repositories matching this topic...
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.
embedded fpga compiler dsl vhdl shader mathematics verilog hlsl code-generation formal-verification eml safety-critical open-core lean4 wgsl
-
Updated
May 11, 2026 - Python
Autonomous shader studio — local LLM writes WGSL/GLSL art shaders, naga + 6-axis LLM review gatekeep them, human curator approves the gallery.
creative-coding shaders glsl shadertoy generative-art three-js autonomous-agents webgpu rag naga wgsl llm local-llm
-
Updated
Apr 22, 2026 - Python
Improve this page
Add a description, image, and links to the wgsl topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the wgsl topic, visit your repo's landing page and select "manage topics."