SpeyTech

All

14 repositories

certifiable-build
Public
Shell
•
GNU General Public License v3.0
•1•1•0•0•Updated Feb 12, 2026Feb 12, 2026
certifiable-data
Public
Deterministic data pipeline for safety-critical ML systems. Fixed-point arithmetic, Feistel shuffling, Merkle audit trails. Zero dynamic allocation. Certifiable…
machine-learning cryptography c99 fixed-point reproducibility merkle-tree deterministic data-pipeline do-178c safety-critical
C
•
GNU General Public License v3.0
•1•1•4•0•Updated Feb 12, 2026Feb 12, 2026
.github
Public
GNU General Public License v3.0
•1•0•0•0•Updated Feb 5, 2026Feb 5, 2026
c-from-scratch
Public
Learn to build safety-critical systems in C. Prove first, code second.
C
•
MIT License
•30•397•0•0•Updated Jan 24, 2026Jan 24, 2026
certifiable-verify
Public
Pipeline verification for certifiable-* ecosystem. Validates complete provenance chain from data through deployment with cryptographic binding verification. Has…
machine-learning cryptography c99 verification provenance fixed-point merkle-tree deterministic do-178c safety-critical
C
•
GNU General Public License v3.0
•0•2•4•0•Updated Jan 23, 2026Jan 23, 2026
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 rea…
machine-learning cryptography c99 gradient-descent fixed-point reproducibility merkle-tree deterministic do-178c safety-critical
C
•
GNU General Public License v3.0
•1•0•4•1•Updated Jan 23, 2026Jan 23, 2026
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 62…
machine-learning cryptography c99 fixed-point quantization deterministic do-178c safety-critical iec-62304 nerual-network
C
•
GNU General Public License v3.0
•2•1•4•1•Updated Jan 23, 2026Jan 23, 2026
certifiable-monitor
Public
Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident log…
machine-learning cryptography c99 fixed-point deterministic do-178c safety-critical audit-trail iec-62304 iso-26262
C
•
GNU General Public License v3.0
•1•1•4•1•Updated Jan 23, 2026Jan 23, 2026
certifiable-inference
Public
Deterministic, bit-perfect AI inference for safety-critical systems
c machine-learning cryptography deployment c99 fixed-point reproducibility merkle-tree deterministic data-pipeline
C
•
GNU General Public License v3.0
•3•3•4•1•Updated Jan 23, 2026Jan 23, 2026
certifiable-harness
Public
End-to-end test harness proving bit-identity across platforms. Runs all 7 certifiable-* stages, generates golden references, and verifies deterministic executio…
machine-learning cryptography cross-platform c99 fixed-point reproducibility deterministic risc-v do-178c safety-critical
C
•
GNU General Public License v3.0
•1•1•4•1•Updated Jan 23, 2026Jan 23, 2026
certifiable-deploy
Public
Deterministic model packaging and cryptographic attestation for safety-critical ML deployment
machine-learning cryptography deployment c99 deployments fixed-point merkle-tree deterministic do-178c attestation
C
•
GNU General Public License v3.0
•1•1•4•1•Updated Jan 23, 2026Jan 23, 2026
certifiable-bench
Public
Performance benchmarking for deterministic ML inference. Measures latency, throughput, WCET with cryptographic verification of bit-identity across platforms. 11…
benchmarking machine-learning cross-platform c99 wcet deterministic performance-testing do-178c safety-critical iec-62304
C
•
GNU General Public License v3.0
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
fixed-point-fundamentals
Public
Educational course teaching fixed-point arithmetic from first principles. Strict C99, no dependencies, MIT licensed.
tutorial signal-processing dsp c99 embedded-systems educational fixed-point deterministic safety-critical numerical-computing
C
•
MIT License
•1•5•0•0•Updated Jan 22, 2026Jan 22, 2026
c-sentinel
Public
Semantic Observability for UNIX Systems - A lightweight C-based system prober with AI-powered analysis
c linux security devops unix ai observability system-monitoring llm
C
•
MIT License
•8•73•6•2•Updated Jan 11, 2026Jan 11, 2026