Raylib demo showcasing real-time visuals via the Universal Bridge.
ONNX demo showcasing shape-safe inference with Z3 verification.