an API for communicating with a Redis database from PHP
