A tutorial about how to apply property-based testing to stateful systems.
haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing
- Updated
Feb 10, 2023 - Haskell
#
simulation-testing
Here are 8 public repositories matching this topic...
A tool for comparing the design and analysis of surveys by simulating spatially-correlated populations
- Updated
Sep 16, 2025 - R
A tutorial about how to apply property-based testing to stateful systems.
haskell tutorial property-based-testing state-machines fault-injection linearizability simulation-testing
- Updated
Dec 27, 2022 - Haskell
- Updated
Mar 26, 2022 - Rust
Idiomatic spec library for javascript
- Updated
Dec 6, 2022 - JavaScript
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.
computer-vision finite-state-machine risk-assessment human-robot-interaction hri semantic-segmentation ros2 impedance-control assistive-robotics simulation-testing collaborative-robots service-robots tactile-sensing affordance-detection hazard-mapping cobot-safety consent-aware-robotics optical-haptic-integration safety-envelopes force-limited-robotics
- Updated
Aug 19, 2025 - Python
Distributed, fault-tolerant real-time chat infrastructure with VSR consensus. Built with Tiger Style principles: correctness-first, deterministic, simulation-tested.
infrastructure distributed-systems backend messaging zig consensus chat-server deterministic correctness systems-programming zigzag fault-tolerant distributed-consensus real-time-chat simulation-testing vsr replicated-state-machine viewstamped-replication tiger-style
- Updated
Oct 31, 2025 - Zig
Testing the multivariate observer effects (MOE) framework
- Updated
Sep 30, 2025
Improve this page
Add a description, image, and links to the simulation-testing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the simulation-testing topic, visit your repo's landing page and select "manage topics."