determinism

The Semantic Intelligence Layer for Ontologies

ECS for Unity with full game state automatic rollbacks

Providing reproducibility in deep learning frameworks

Intuitive concurrent programming in any language

Trace-to-evaluation compiler: turn failures and execution traces into regression cases, rubrics, fixtures, and release gates.

Audit AI agent tool-call transcripts: hash-chain sealing, deterministic replay, and scope overreach checks. Dependency-free Python CLI.

Multi-agent evidence adjudication engine - normalize claims, weigh support and contradiction, and render deterministic verdicts, with a Rust engine and a TypeScript viewer.

Smart Promise Tracker AI 2026 – Commit Memory Engine

Explainable, stdlib-only evaluation lab for AI-driven NPC behaviour: four-axis scoring with written reasons, deterministic encounter replay, fixtures, transcripts and a zero-dependency CLI.

Convex component for durably executing workflows.

When the stakes are high, intelligence is only half the equation - reliability is the other ⚠️

A determinizing tracer using Ptrace

Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in observability.

Deterministic Simulation using ROS 2

renew engine: an AI-first game engine in Rust, built to be operated. Bit-deterministic fixed-timestep simulation in Q47.16 fixed point, Vulkan rendering through ash, and every capability driven from the CLI with schema-versioned JSON. 29 modular crates, desktop and mobile. Apache-2.0. Early development.

A deterministic bytecode virtual machine for agent execution, with a verifying assembler and serializable continuations

Trace how a silent tool failure taints a whole agent run: dependency graph, taint paths, and grounded or tainted verdicts.

ZEOS: a transformer operating system — priority-preemptive scheduling, protected mode, and deterministic replay for LLM jobs

Experimental pedagogy: I don't teach, I learn and document along the way. Anyone can join.

Deterministic symbolic codes for embedding vectors. Byte-identical across CPUs and languages, content-addressed, diffable and verifiable. C core with Python, Rust, Go and TypeScript bindings.