A tutorial about how to apply property-based testing to stateful systems.
-
Updated
Feb 10, 2023 - Haskell
A tutorial about how to apply property-based testing to stateful systems.
Marionette is a deterministic simulation testing (DST) library for Zig.
A tool for comparing the design and analysis of surveys by simulating spatially-correlated populations
Self-hostable Digital Twins of Different APIs For E2E & Agent Simulation Testing
Memory for AI agents - entity extraction, dual retrieval, and evolution tracking
IX-HapticSight: open, safety-first Optical–Haptic Interaction Protocol for robots/XR. Maps vision→touch with consent-aware social gestures, tri-level hazard maps, force envelopes, state machine, culture profiles, sim scenes & tested ref code. MIT + Responsible Use.
Deterministic crawl kernel in Rust — same seed, identical crawl, identical replay. BoringSSL TLS impersonation (JA3/JA4), 17-patch CDP stealth mode, BLAKE3 content-addressed storage, WARC++ format, distributed crawling, RAG extraction. 288 tests, 15 crates, 10K pages proven.
Idiomatic spec library for javascript
Testing the multivariate observer effects (MOE) framework
Find reproducible qualitative simulation transitions and turn them into pytest regressions.
Deterministic simulation testing for AI agents. Runs an agent inside a fake world where tools fail on purpose, and measures how often it claims to have done something it didn't — or does it twice.
Deterministic Rust testing utility for simulation and stochastic workflows
Tamper-evident AI agent audit harness. Cryptographic witness chain, pre-call policy interception, and byte-stable replay. Prove what your agent did, tried to do, and was blocked from doing. Written in Rust.
Raft consensus in a seeded fault simulator: the five safety properties are checked after every step and any failure replays from its seed.
Add a description, image, and links to the simulation-testing topic page so that developers can more easily learn about it.
To associate your repository with the simulation-testing topic, visit your repo's landing page and select "manage topics."