en un clic
leaderless-log-protocol
leaderless-log-protocol contient 2 skills collectées depuis lakestream-io, avec une couverture métier par dépôt et des pages de détail sur le site.
Skills dans ce dépôt
Fizzbee formal verification for distributed systems. Use when creating, editing, reviewing, or testing Starlark-based specifications with implicit fault injection and model-based testing for consensus protocols (Raft, Paxos), replication, transactions, and distributed algorithms.
TLA+ and PlusCal model checking for distributed systems. Use when creating, editing, reviewing, or optimizing formal specifications for consensus protocols (Raft, Paxos, Zab), replication, transactions, and distributed algorithms. Guides from first principles: start from what failures to prevent, work backwards to the model.