URL Shortener based on Python, Tornado, Redis