Asynchronous websocket + pubsub based web framework using tornado, redis, zmq