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.

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

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

A cryptographically governed, contradiction-driven ledger engine using canonical serialization, Ed25519 signatures, Merkle-root integrity, and governance-verified state transitions.

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

URC Minimal Blockchain — minimal, auditable blockchain core illustrating capacity, locality, and rigidity constraints with deterministic verification.

A theoretical framework introducing the Non-Turing Machine: a deterministic, structure-driven model of machine order based on UDML, formal axioms, functional intentionality, and the declarative L-OPS language. This repository consolidates the core papers defining the architecture, logic, and conceptual foundations of this new machine type.

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

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

Minimal cognitive kernel for traceable reasoning, temporal integrity, and data sovereignty.

Archived deterministic combat simulation built as an engineering exercise.

Prior art and canonical references for the DLX (Deterministic Ledger of eXecution) core concept and architecture.

This domainrunner demonstrates why AI governance fails when decisions and execution are conflated - and how DBL keeps them separate.

Deterministic, criteria-based document checking system. Reports structural presence using fixed rules — no judgment, no advice.

Govix Standard v0.1.1 is the first canonical publication of the Govix Standard: a normative specification for deterministic architectural governance. This release defines architectural correctness, drift semantics, determinism requirements, and compliance claim rules — independent of tooling, CI pipelines, or runtime execution.

Engine-agnostic foundation for deterministic legendary encounters in Hytale

A deterministic mathematical framework unifying fractal time, hypernumbers, wormhole distances, and energy thresholds — developed by Akhil Basliyal in honor of his brother’s research.

Deterministic authority, governance, and execution layer. FASS provides software-root trust, witness chains, and regulator-grade attestations for systems that cannot guess or assume. Public launch surface for verifiable execution.