An implementation of the HyperLogLog algorithm backed by Redis