copyleftdev/tigerstyle-chat

Distributed, fault-tolerant real-time chat infrastructure with VSR consensus. Built with Tiger Style principles: correctness-first, deterministic, simulation-tested.

Language: Zig - Size: 1.49 MB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

PaulRegular/SimSurvey

A tool for comparing the design and analysis of surveys by simulating spatially-correlated populations

Language: R - Size: 190 MB - Last synced at: 27 days ago - Pushed at: 2 months ago - Stars: 12 - Forks: 5

noaa-afsc/mvobservr-testbench

Testing the multivariate observer effects (MOE) framework

Size: 922 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 421 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 70 - Forks: 4

platonic-io/property-based-testing-stateful-systems

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 636 KB - Last synced at: 6 months ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

nearvndev/counter-tutorial-rs

Language: Rust - Size: 186 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 1

pragyanatvade/js-specs

Idiomatic spec library for javascript

Language: JavaScript - Size: 1.09 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0