raft-pseudocode icon indicating copy to clipboard operation
raft-pseudocode copied to clipboard

Published 20 hours ago • verified publisher icon ongardie
→

Metadata

attempt at summarizing Raft in one page of pseudo-code

attempt at summarizing Raft in one page of pseudo-code

warning: might not be entirely correct, check with TLA+ spec

build the PDF with pdflatex pseudocode.tex

← Metadata

19
Stars
3
Forks
Watchers

Owner

verified publisher icon ongardie

Metadata

attempt at summarizing Raft in one page of pseudo-code

Back