Popular repositories Loading

1. c-from-scratch c-from-scratch Public

   Learn to build safety-critical systems in C. Prove first, code second.

   C 287 23

2. c-sentinel c-sentinel Public

   Semantic Observability for UNIX Systems - A lightweight C-based system prober with AI-powered analysis

   C 71 7

3. certifiable-inference certifiable-inference Public

   Deterministic, bit-perfect AI inference for safety-critical systems

   C 2 3

4. certifiable-training certifiable-training Public

   Deterministic ML training for safety-critical systems. Fixed-point arithmetic, Merkle audit trails, zero dynamic allocation. DO-178C / IEC 62304 / ISO 26262 ready

   C 1

5. certifiable-data certifiable-data Public

   Deterministic data pipeline for safety-critical ML systems. Fixed-point arithmetic, Feistel shuffling, Merkle audit trails. Zero dynamic allocation. Certifiable for DO-178C, IEC 62304, ISO 26262. 1…

   C

6. certifiable-quant certifiable-quant Public

   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.

   C