Adds needs/requirements to sphinx

Traceability extension for Sphinx documentation generator

A curated list of avionics awesome resources. Looking for contributors ❗❗

A collection of StrictDoc templates for various standards.

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

Pipeline verification for certifiable-* ecosystem. Validates complete provenance chain from data through deployment with cryptographic binding verification. Hash-only and full replay modes.

A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.

A snake game to demo D contract programming in regards to DO-178c

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.

Deterministic runtime monitoring for safety-critical ML. Hash-chained audit ledger, drift detection (TV/JSD/PSI), COE policy enforcement, and tamper-evident logging. 253 tests passing.

End-to-end test harness proving bit-identity across platforms. Runs all 7 certifiable-* stages, generates golden references, and verifies deterministic execution. Proven identical: Linux/GCC ↔ macOS/Clang.

Deterministic model packaging and cryptographic attestation for safety-critical ML deployment

Performance benchmarking for deterministic ML inference. Measures latency, throughput, WCET with cryptographic verification of bit-identity across platforms. 11,840 test assertions. Pure C99, no dynamic allocation. Part of the certifiable-* ecosystem for safety-critical AI.

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. 142 tests passing.

A deterministic, zero-dynamic-memory, and MISRA-C:2012 compliant FIFO queue implementation written in pure C.

AMPEL360 Spacecraft CAXS (CA360º) is a "Computer‑Aided Cross Sustainment" platform: product‑grade spacecraft deliverable automation with configuration control, cross‑ATA traceability, and compliance evidence across the sustainable-lifecycle agentic process (XS)

A DO-178C-aligned Java Swing application for managing aircraft and maintenance tasks with authentication, KPI dashboard, and bulk import tools.

Multi-zone UAV geofencing with formally verified Ada/SPARK core. DO-178C principles, STANAG 4586 priority logic. Functional prototype.

Developed and validated code and algorithms for the DO-178C avionics standard. These are just some of the huge amount of trials and projects developed

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