Raft consensus in TypeScript, held up by deterministic simulation: seeded partitions and crashes, the paper's five safety properties checked continuously, and every client history verified linearizable
What is the BOTIROFF-D/bulwark GitHub project? Description: "Raft consensus in TypeScript, held up by deterministic simulation: seeded partitions and crashes, the paper's five safety properties checked continuously, and every client history verified linearizable". Written in TypeScript. 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 bulwark issue tracker:
Open GitHub Issues