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.

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

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

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.

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

Archived deterministic combat simulation built as an engineering exercise.

Deterministic decision gate for AI/ML systems. Risk-Gate enforces strict, schema-driven admissibility boundaries between AI/LLM intent and real system actions. It provides a fixed, human-owned decision structure with deterministic allow/block outcomes, explicit audit logging, and environment-specific policy via configuration — no ML, no heuristics,

Chromium fork integrating IntentusNet for deterministic, secure, and debuggable browser execution.

Execution boundary for AI systems which separates intent, policy, and execution into an auditable event chain, enabling replay, inspection, and governance. No agents. No heuristics. No hidden state.

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

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