belaban/raftconsensus.github.io
website at http://raftconsensus.github.io
Public GitHub Catalog
Discovered Oct 6, 2026
belaban / pluscal
Tests with PlusCal / TLA+
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#32921756GitHub System ID
belabanOrganization / User
PublicVisibility
ActiveCatalog Status
More from belaban
belaban/pubsub
Sample project showing how to build a pub-sub system in JGroups
belaban/jgroups-docker
Dockerfile for a container containing JGroups and a couple of demos
belaban/zkping
ZooKeeper JGroups Ping implementation