A curated list of awesome deterministic simulation testing resources 😎
-
Updated
Aug 2, 2026
A curated list of awesome deterministic simulation testing resources 😎
Marionette is a deterministic simulation testing (DST) library for Zig.
kamera is a simulation toolkit for observing, analyzing, and verifying the behavior of Kubernetes control planes.
Distributed Async Await — Durable Executions, Dead Simple
Deterministic Simulation Testing (DST) framework for TypeScript & Node.js. Reproduce distributed systems race conditions, network partitions, and heisenbugs bit-for-bit from a single integer seed. Inspired by FoundationDB & TigerBeetle.
Deterministic simulation testing for distributed protocols
Deterministic simulation testing (DST) for Go: run a distributed system on a simulated network, disk and clock inside go test, inject faults like partitions, crashes and failed fsyncs, and replay any failing run exactly from its seed. Built for AI coding agents and people.
Raft consensus + replicated key-value store in Go — a sans-I/O deterministic core verified by deterministic simulation testing (140k adversarial fault schedules), Porcupine linearizability checking, and race-clean concurrency.
Deterministic simulation testing for C++: seed a bug, replay it exact.
Educational project to practice distributed systems and deterministic simulation testing.
Deterministic simulation testing: find concurrency bugs and replay them from a single seed.
An RxJS-powered reactive packet-routing game built with immutable state, deterministic simulation, and testable event streams. | 基于 RxJS 的响应式数据包路由小游戏,使用不可变状态、确定性模拟与可测试事件流实现。
An in-memory key-value store, written from scratch in Rust, speaking the Redis protocol, with optional persistence — and correctness that is demonstrated rather than argued.
Fila de operações que não podem acontecer duas vezes: idempotência, journal durável e reconciliação, com falha injetada por seed e ablações que reprovam
In-Process Deterministic Simulation Testing for Go Applications, based on Stateless Model Checking (SMC)
Go 里的持久化有状态运行时。单二进制、库形态、可嵌入,从第一天就为确定性模拟测试而设计。
Deterministic simulation testing for Python asyncio: seeded scheduling, virtual time, simulated network faults, exact replay from a seed
To associate your repository with the deterministic-simulation-testing topic, visit your repo's landing page and select "manage topics."