High-performance incremental computation engine for hierarchical data structures with real-time query capabilities
Open-source, offline-first reference model for transparent and auditable driver worktime calculation based on real operational data.
Governance framework defining institutional authority boundaries and policy contracts for AI-assisted workflows.
Formal verification of HCSP using Coq
VECTORIA is a deterministic, cross-platform computational kernel framework focused on transparent execution, strict validation, and architectural honesty.
Official TLA+ specifications and Why3 formal verification artifacts for the HCSP Sovereign Deterministic Core, proving 100% complete logic correctness (19/19 goals) against zero-day exploits and cloud-freezing deadlocks.
Deterministic AI safety framework for medical & autonomous systems. Physics-based cancer treatment support, fail-closed architecture. NRA-IDE,律環公理,内包性動力学
Add a description, image, and links to the deterministic-computing topic page so that developers can more easily learn about it.
To associate your repository with the deterministic-computing topic, visit your repo's landing page and select "manage topics."