GitHub - topling/todis: Todis is a massive, persistent Redis server ...