LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

raft-tlaplus

TLA+ specifications for Raft and variants

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

48mo ago

Recent commits

Latest commits.

Fix infinite state space and liveness
4ee1965Jack Vanlightly48mo ago
Kafka KRaft protocol
cc86474Jack Vanlightly48mo ago
Fixed formatting
6a47b16Jack Vanlightly49mo ago
Added liveness fixes
f8da7f4Jack Vanlightly49mo ago
README to discuss server identity and reconfiguration
b41e6b0Jack Vanlightly49mo ago

Added configuration id, fixed bug in truncate.

bdc72aeJack Vanlightly49mo ago

Extra controls, a config id and some fixes.

3f15f98Jack Vanlightly49mo ago

Standard Raft with add/remove reconfiguration

68d08c9Jack Vanlightly49mo ago

Top contributors

Builders behind this project.