Gryadka is a minimalistic master-master replicated consistent key-value ...
CASPaxos: Replicated State Machines without logs