A simple and working library that allows you to store your session data in a Redis server. Works with PHP >= 5.4