A capability-native, WASM-first kernel for isolated workloads with temporal state and verification-oriented control surfaces. Built in Rust for systems research and security-sensitive deployments.
Browse the project:GitHub RepositoryDocumentation indexLicense · Security policy · Verification status
This site requires JavaScript to render. Enable JavaScript in your browser settings to view the full interface.