deterministic-replay

Compiles a demonstrated GUI task into a program that reports VERIFIED only if an independent check agrees. pip install openadapt; openadapt flow tutorial. Compiler lives in openadapt-flow.

The open‑source AI Agents Governance & Orchestration framework: write the rules declaratively, Bernstein enforces them and produces the verifiable, replayable record. Free, Apache-2.0. https://bernstein.run

Evidence-first runtime for a wheeled mobile household robot with bounded actions, replayable events, and fail-closed verification.

Compile, verify, and run multi-agent DAGs across Pi, Codex, Claude Code, OpenCode, and Grok—with resume, replay, and incremental recomputation.

Native Rust runtime for adversarial extension workloads with deterministic replay, cryptographic decision receipts, and fleet-scale containment.

Abandoned, unsupported research archive for a local-first, model-agnostic LLM agent harness exploring orchestration, code retrieval, off-agent verification, deterministic replay, sandboxing, context management, and model routing. MIT.

Compiler and governed runtime for demonstrated GUI workflows, with explicit identity, policy, and result checks.

Single-symbol CLOB matching engine in Rust — integer-only hot path, deterministic replay, microsecond-class tail latency, framed binary TCP wire.

Open-source physical observability for robotics workcells: deterministic replay, verifiable incident evidence, and generated regression tests.

TypeScript event history on PostgreSQL for agent workflows and domain applications: typed aggregates, replay, projections, and transactional outbox - zero extra infrastructure

Transparent fault tolerance for unmodified servers as a byproduct of in-network total-order communication.

Sync-first event sourcing for Rust: append-only segments, causal metadata, policy gates, and typed projections — no async runtime. It's free batteries bro, take 'em!

Remote-first QA for TV apps: deterministic D-pad exploration, evidence-linked findings, and replay for web and Android TV.

Deterministic, event-sourced matching engine in Rust: price-time priority, partial fills, snapshots, replay and seeded fault injection. Offline only, with no exchange connectivity by design.

Deterministic order-book replay + adversarial microstructure bench. Rust + Zig 0.13 + C++20 + Go. Cross-impl Event ABI bit-identical (CI hash gate). MoldUDP64 + WAL + SPSC mmap ring. 5 chaos detectors. Snapshot resume e2e proven. 155 tests.

A typed, replayable, budget-aware programming language for LLM agents. Compiles to Python & TypeScript.

A deterministic orchestration kernel for bounded agent systems.

Normalises market data from CSV, PCAP and live chart APIs into a canonical append-only event log, then replays it deterministically over a gRPC stream.

An event-sourced runtime for AI agents that survives kill -9, written in Rust.

Deterministic replay and counterfactual debugging for AI agent reliability. Bit-exact replay of agent runs with zero model calls — record once, replay forever, mutate freely.