A simple URL shortener written in Python using Flask and Redis