Symbolic Model Checker for the Gossip Problem
-
Updated
May 11, 2024 - TeX
Symbolic Model Checker for the Gossip Problem
Apache Cassandra Cluster with docker compose
Gossip-based service discovery (and more) for large distributed systems.
The Unpredictable Buttman: NFT Comic Shenanigans – Who Knows What's Next? 😄🚀
A highly customable, adaptable, runtime agnostic and WASM/WASI friendly Gossip protocol (SWIM) which helps manage cluster membership and member failure detection.
A lightweight, high-performance go mqtt server(v3.0|v3.1.1|v5.0) supporting distributed cluster
High-performance, high-scalability distributed computing for the BEAM.
Graphcast SDK allows you to build gossip-powered Radios
Cluster state with Scuttlebutt Gossip
Library for construction of gossip protcol based overlay network which supports machins on NAT
Graphcast Registry allows registering a Graphcast ID to join Graphcast
Give awesome and informative presentation efficiently.
A tool for building distributed applications.
Dynamo-inspired distributed leader-less key-value database that has no unique features and no apparent reason to exist
A decentralize exporter used for monitorring every available zone or data center, by ping each other.
Add a description, image, and links to the gossip topic page so that developers can more easily learn about it.
To associate your repository with the gossip topic, visit your repo's landing page and select "manage topics."