A very simple general purpose websocket server that does the job

A Node.js application that consumes messages published on Redis channels and send them as Push Notifications via APNS or GCM.

A CLI tool for piping from stdin to a redis pub/sub channel.

Realtime updates from IoT device to browser

A python wrapper daemon that manages sessions and provides a json control over the sessions with redis messaging channels.

A repository with the demonstration of Redis pubsub feature with live link.