QEC is a deterministic, replay-safe proof and systems architecture for quantum error correction, invariant-driven computation, canonical hashing, replay validation, semantic/citation boundary enforcement, proof telemetry, and inference-boundary receipts.

Deterministic execution authorization for AI agents

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

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.

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

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.

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.

Immutable constraint kernel with cryptographic genesis anchored on the XRP Ledger.

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.

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 on-chain logic synthesis verified by the Horpestad Standard.

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

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

Archived deterministic combat simulation built as an engineering exercise.

Deterministic governance system for AI-driven marketing that separates diagnostics, human reasoning, and execution into strictly controlled layers.

Deterministic local-first AI operator runtime with receipts, replay, rollback, ranked memory, llamafile CPU driven execution, swappable intelligence cognition core, and sandboxed self-improvement.

Deterministic systems that reduce compute, data transfer, and operational focused on reducing compute and operational overhead through efficient system design.

Deterministic execution loop core for AI builders — turn tasks into reproducible runs, explicit decisions, and retryable improvements.