This is a GSoC project. The aim is to develop a server-side library in Haskell for sending push notifications to devices running different OS.