All

28 repositories

speybooks-anchors
Public
SpeyBooks cryptographic audit chain anchors (AX-CRY-001)
0•0•0•0•Updated Aug 23, 2026Aug 23, 2026
.github
Public
Other
•1•0•0•0•Updated Jul 6, 2026Jul 6, 2026
exp1-runner
Public
EXP-1 experiment client: agent episodes, evidence chain, transcript scoring
Python
•
Other
•0•0•0•0•Updated Jul 5, 2026Jul 5, 2026
axioma-oracle
Public
Axioma Layer 3 — Oracle Boundary Gateway, Inference Containment (D3)
C
•
Other
•0•0•0•0•Updated Jul 5, 2026Jul 5, 2026
fcc-verify
Public
FCC-001 verdict program: adjudicates falsifiable claims from committed evidence chains
Python
•
Other
•0•0•0•0•Updated Jul 5, 2026Jul 5, 2026
axioma-audit
Public
Axioma Layer 6 — D1 Cryptographic Audit Ledger with Typed Evidence
C
•
Other
•0•0•0•0•Updated Jul 4, 2026Jul 4, 2026
axioma-spec
Public
Axioma Framework Specification v0.4 — Verifiable AI Execution Layer
Python
•
Other
•0•1•0•0•Updated Jul 4, 2026Jul 4, 2026
axioma-verify
Public
Axioma Verification Tooling — Replay, Chain Verification, Bit-Identity
Other
•0•0•0•0•Updated Jun 30, 2026Jun 30, 2026
axioma-governance
Public
Axioma Layer 7 — Proof-Carrying Governance and Compliance (D2)
C
•
Other
•0•0•0•0•Updated Jun 30, 2026Jun 30, 2026
axioma-policy
Public
Axioma Layer 4 — Policy Evaluation and Operational Envelope (D2)
C
•
Other
•0•0•0•0•Updated Jun 30, 2026Jun 30, 2026
axioma-agent
Public
Axioma Layer 5 — Enterprise Agent Orchestration with Totality Contract
C
•
Other
•0•0•0•0•Updated Jun 30, 2026Jun 30, 2026
libaxilog
Public
Axioma L1 DVM substrate — Q16.16 arithmetic, SRS-005 v1.1 conformant
C
•
Other
•0•0•0•0•Updated Jun 30, 2026Jun 30, 2026
crawler-log-analyser
Public
Operational SEO observability for self-hosted static sites running nginx
python nginx cli
python nginx cli crawler log-analysis seo googlebot observability technical-seo operational-seo
Python
•
Other
•0•0•0•0•Updated May 17, 2026May 17, 2026
seo-validator
Public
CI/CD-integrated SEO audit tool emulating Googlebot crawl behaviour. 22 audit sections including image-asset redirects, generic redirect-set verification, and o…
python nginx sitemap
python nginx sitemap crawler seo ci-cd static-site astro googlebot mit-license
Python
•
MIT License
•0•0•0•0•Updated May 13, 2026May 13, 2026
certifiable-build
Public
Shell
•
Other
•1•1•0•0•Updated Mar 31, 2026Mar 31, 2026
certifiable-inference
Public
Deterministic, bit-perfect AI inference for safety-critical systems
c machine-learning cryptography
c machine-learning cryptography deployment c99 fixed-point reproducibility merkle-tree deterministic data-pipeline
C
•
Other
•4•6•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography c99 fixed-point reproducibility merkle-tree deterministic data-pipeline do-178c safety-critical
C
•
Other
•1•1•4•0•Updated Mar 31, 2026Mar 31, 2026
certifiable-deploy
Public
Deterministic model packaging and cryptographic attestation for safety-critical ML deployment
machine-learning cryptography deployment
machine-learning cryptography deployment c99 deployments fixed-point merkle-tree deterministic do-178c attestation
C
•
Other
•1•1•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography cross-platform c99 fixed-point reproducibility deterministic risc-v do-178c safety-critical
C
•
Other
•1•1•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography c99 fixed-point deterministic do-178c safety-critical audit-trail iec-62304 iso-26262
C
•
Other
•1•1•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography c99 fixed-point quantization deterministic do-178c safety-critical iec-62304 nerual-network
C
•
Other
•2•1•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography c99 gradient-descent fixed-point reproducibility merkle-tree deterministic do-178c safety-critical
C
•
Other
•1•1•4•0•Updated Mar 31, 2026Mar 31, 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
machine-learning cryptography c99 verification provenance fixed-point merkle-tree deterministic do-178c safety-critical
C
•
Other
•0•2•4•0•Updated Mar 29, 2026Mar 29, 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
benchmarking machine-learning cross-platform c99 wcet deterministic performance-testing do-178c safety-critical iec-62304
C
•
Other
•0•1•0•0•Updated Mar 29, 2026Mar 29, 2026
c-sentinel
Public
Semantic Observability for UNIX Systems - A lightweight C-based system prober with AI-powered analysis
c linux security
c linux security devops unix ai observability system-monitoring llm
C
•
MIT License
•8•72•6•0•Updated Mar 28, 2026Mar 28, 2026
certifiable
Public
The cryptographically proven ML pipeline.
machine-learning c99 cryptographic
machine-learning c99 cryptographic fixed-point reproducibility wcet deterministic formal-verification do-178c safety-critical
GNU General Public License v3.0
•0•0•0•0•Updated Mar 13, 2026Mar 13, 2026
c-from-scratch
Public
Learn to build safety-critical systems in C. Prove first, code second.
C
•
MIT License
•32•425•0•0•Updated Jan 24, 2026Jan 24, 2026
fixed-point-fundamentals
Public
Educational course teaching fixed-point arithmetic from first principles. Strict C99, no dependencies, MIT licensed.
tutorial signal-processing dsp
tutorial signal-processing dsp c99 embedded-systems educational fixed-point deterministic safety-critical numerical-computing
C
•
MIT License
•4•20•0•0•Updated Jan 22, 2026Jan 22, 2026

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Navigation Menu

SpeyTech

All

All

28 repositories

speybooks-anchors

.github

exp1-runner

axioma-oracle

fcc-verify

axioma-audit

axioma-spec

axioma-verify

axioma-governance

axioma-policy

axioma-agent

libaxilog

crawler-log-analyser

seo-validator

certifiable-build

certifiable-inference

certifiable-data

certifiable-deploy

certifiable-harness

certifiable-monitor

certifiable-quant

certifiable-training

certifiable-verify

certifiable-bench

c-sentinel

certifiable

c-from-scratch

fixed-point-fundamentals

All

All

Repositories list

28 repositories