Deterministic computing for safety-critical systems.
Open source tools and libraries for building systems where reproducibility and correctness are non-negotiable. Fixed-point arithmetic, deterministic ML inference, and safety kernel patterns — all designed to support certification under DO-178C, ISO 26262, and IEC 62304.
Floating-point non-determinism, hidden race conditions, and opaque ML models don't belong in systems that control aircraft, medical devices, or vehicles. These projects demonstrate that deterministic alternatives exist — and can be practical.
|
C From Scratch: Learn Safety-Critical C the Right Way The methodology behind c-from-scratch — now as a complete book. Learn to write provably correct C using the Math → Structs → Code approach. Covers closed/total functions, deterministic FSMs, and patterns used in aerospace and medical device software.Available on Leanpub → |
| Repository | Description |
|---|---|
| certifiable-data | Deterministic data pipelines |
| certifiable-training | Reproducible ML training with Merkle audit trails |
| certifiable-quant | Model quantization with error certificates |
| certifiable-inference | Fixed-point neural network inference |
| certifiable-deploy | Cryptographic model packaging |
| certifiable-monitor | Runtime drift detection |
| certifiable-verify | Formal verification tooling |
| certifiable-harness | End-to-end test harness |
| certifiable-bench | Performance benchmarking |
| Repository | Description |
|---|---|
| c-from-scratch | Learn C using Math → Structs → Code |
| fixed-point-fundamentals | Fixed-point arithmetic from first principles |
| Repository | Description |
|---|---|
| C-Sentinel | Semantic security monitoring |
Each repository includes documentation in docs/ with requirements, build instructions, and examples. Clone, build, run the tests.
git clone https://github.com/SpeyTech/c-from-scratch.git
cd c-from-scratch
make testSee CONTRIBUTING.md. Issues and pull requests welcome.
speytech.com — Technical articles, product details, and the complete certifiable-* documentation.
© 2026 The Murray Family Innovation Trust