deterministic-replay

For EHRs, payer portals, and any app your team clicks through. A person or an agent shows the task; OpenAdapt turns it into a local program that repeats the steps with no model calls, checks each save, and stops when something doesn't match.

The open-source governance layer for AI agents: 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.

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

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

Native Rust runtime for adversarial JavaScript/TypeScript extension workloads: native-only core execution (no V8/JSC/QuickJS), deterministic replay of high-impact decisions, and Ed25519-signed evidence for every containment action. Research-grade; automation ships advisory-only.

Local-first, model-agnostic LLM agent-harness research. Restart planned after a hiatus; existing code and historical claims await revalidation. MIT.

ALGAL is a programming language for agents. Programs pause for approvals, survive restarts, replay from recorded effects, and improve through evaluation.

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

Frozen: openadapt-flow now lives in the OpenAdapt monorepo (OpenAdaptAI/OpenAdapt, packages/flow).

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

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

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.

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.

A standalone programming language with native observer semantics, closures, dictionaries, error handling, and a self-interpreter — all in a single zero-dependency C binary

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.

Open-source, proof-bound evidence recorder and verifier for explicit AI-system execution boundaries.

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