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.

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

DAG runtime for coding-agent workflows with verification, resume, replay, and effect checks.

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.

ALGAL is a programming language and VM for AI agent programs that wait for approval and leave receipts you can replay.

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

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

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

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.

ARGOS — evidence-driven Polymarket probability intelligence research core. No execution surface.

Embeddable, zero-dependency durable execution for agents and NHEs. Deterministic replay, retries, cycle detection, a token budget, and a multi-agent task board, with no sidecar service.

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!

A deterministic orchestration kernel for bounded agent systems.

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.

Computer-use automation: an LLM discovers a UI flow once; the run compiles to a typed capability artifact that replays deterministically with no model in the loop.