An Erlang implementation of Redis