Sigil — hardware-first systems language: algebraic effects, autodiff, SMT verification, multi-GPU backends. No LLVM.
-
Updated
May 3, 2026 - Rust
Sigil — hardware-first systems language: algebraic effects, autodiff, SMT verification, multi-GPU backends. No LLVM.
This will be the public home of the Sigil-MMF AI Runtime with Codex Nexus. This project is incomplete as of 26AUG2025.
Rust based sigil generator
React-inspired web framework for Sigil with evidentiality-driven state management, cross-platform support (WASM, SSR, GTK4), and actor-based architecture
Add a description, image, and links to the sigil topic page so that developers can more easily learn about it.
To associate your repository with the sigil topic, visit your repo's landing page and select "manage topics."