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
This repository contains the multi-physics validation models, mechanical-thermal calculations, and trajectory telemetry for a next-generation high-RPM internal combustion engine powertrain.
An infrastructure-to-vehicle (I2V) wireless speed-control system that dynamically restricts maximum vehicle speed in designated safety zones (school zones, municipal limits, construction areas) using Sub-GHz RF beacons and Drive-by-Wire throttle interception.
Deterministic simulation testing for TypeScript — find async races, deadlocks and lost retries, then reproduce them from a seed every time
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.
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.
Find reproducible qualitative simulation transitions and turn them into pytest regressions.
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."