A Raft implementation tested with a deterministic network simulator, a continuous safety-invariant checker, and a linearizability checker
What is the Mohith26/windlass GitHub project? Description: "A Raft implementation tested with a deterministic network simulator, a continuous safety-invariant checker, and a linearizability checker". Written in JavaScript. Explain what it does, its main use cases, key features, and who would benefit from using it.
Question is copied to clipboard — paste it after the AI opens.
Clone via HTTPS
Clone via SSH
Download ZIP
Download main.zipReport bugs or request features on the windlass issue tracker:
Open GitHub Issues