backend.ai

Introducing raftify, a high-level Raft framework built over a year for the Backend.AI manager, with an example that implements a distributed key-value store in under 300 lines.