SpeyTech
Deterministic computing for safety-critical systems.
What is this?
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.
Why does it exist?
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.
The Book
|
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 - |
Projects
Certifiable ML Pipeline
| 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 |
Education
| Repository | Description |
|---|---|
| c-from-scratch | Learn C using Math - Structs - Code |
| fixed-point-fundamentals | Fixed-point arithmetic from first principles |
Tools
| Repository | Description |
|---|---|
| C-Sentinel | Semantic security monitoring |
How do I use it?
Each repository includes documentation in docs/ with requirements, build instructions, and examples. Clone, build, run the tests.
cd c-from-scratch
make test
How do I contribute?
See CONTRIBUTING.md. Issues and pull requests welcome.
Learn more
speytech.com -- Technical articles, product details, and the complete certifiable-* documentation.
(c) 2026 The Murray Family Innovation Trust