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, inference and agent-boundary receipts, research provenance, and hash-bound decoder governance.

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.

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.

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

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.

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.

Archived deterministic combat simulation built as an engineering exercise.

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

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

Deterministic multi-agent orchestration for real software execution.

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

Neu: A lightweight, modular JavaScript framework for high-performance app tooling and modern SPA development. Built for speed and simplicity.