Deterministic, certifiable model quantization (FP32→Q16.16) with formal error bounds and cryptographic proof certificates. Pure C99. Zero malloc. DO-178C/IEC 62304/ISO 26262 ready.
machine-learning cryptography c99 fixed-point quantization deterministic do-178c safety-critical iec-62304 nerual-network iso-26262 edge-ai ie-623
-
Updated
Jan 19, 2026 - C