Deterministic, verifiable type system and framework for reproducible, cross-language schemas and truth-preserving computation.
verification idl schema-language reproducible-builds cross-language c-abi meta-architecture nukli deterministic-language
-
Updated
Nov 6, 2025