deterministic-systems

Deterministic quantum error-correction labs, proof receipts, and reproducible evidence.

Deterministic execution authorization for AI agents and automation systems

Deterministic, fully controllable time and time-ordered identifiers for distributed-system simulations and testing. Time is just another dependency.

Argorix Lang is a compiled language for secure, verifiable AI-agent communication.

SMALL (Schema, Manifest, Artifact, Lineage, Lifecycle) is a formal execution state protocol that makes AI-assisted work legible, deterministic, and resumable by separating durable state from ephemeral execution.

PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.

Research and framework repository for NEXAH — The Orientation Ecosystem: Orientation Language, evidence, experiments, governance, and deterministic implementations.

An engineering architecture for AI-assisted development that separates exploration (humans + LLMs) from deterministic verification.

ARC-Core is a signal-intelligence event spine — a deterministic kernel built to host every project its author has ever developed, in tandem and smoothly, through one universal discipline: every state change is an event, every event produces a signed receipt, and every receipt is authority-gated.

Deterministic action-governance kernel for LLM-driven systems with fail-closed execution, signed approvals, and verifiable audit chains.

IEE is a native C++ system runtime that converts live OS/application state into a deterministic, queryable, and executable intent layer. It is built as an execution substrate and control plane, not a UI product.

Execution boundary for autonomous systems. Deterministic runtime enforcement of executable constraints before state-changing actions occur.

Controlled stage-admission proof surface for AI-assisted scientific and aerospace-facing workflows, with receipts, replay, and no-advance proof.

Coherence-Aware Reinforcement Learning (CARL) - breakthrough LLM post-training and test-time training paradigm. carl builds the world's most advanced and intelligent agent systems that are a step change over current gen agents

Deterministic multi-agent warehouse simulator using cooperative path planning, symmetry reduction, and bounded safety verification with verification-guided refinement.

Multiple minds. One world. Shared evidence. Equal voice.

Deterministic on-chain logic synthesis verified by the Horpestad Standard.

Sentri is an AI driven Security coprocessor that intercepts pending financial transactions and evaluates them against a users historical behavioral profile, when anomalies are detected it synthesizes a plain language explanation via Claude or a deterministic response to present to the user empowering them to make final informed decisions

A deterministic orchestration kernel for bounded agent systems.

Normative specifications for deterministic, secure, and cost-aware AI orchestration systems.