Hi, I am working this summer on the project "Communicating with mobile devices" for the GSoC. After working with GCM, I developed an API for communicating through APNS with iOS mobile devices [1].
For this, I designed a way of building the messages, sending them and handling the result. To use this service, Apple requires you to be an enrolled iOS Developer or something similar, so I decided to test the API with a local server. It simulates the APNS servers and different common scenes.
Now, that I have a tested version, I am looking for some iOS developers to test in with real apps. So, I wait for feedback!
Also, I have a blog to show the progress. I have posted about a simple usage of the API for GCM, I developed a test example of a Yesod server, where devices can register to receive GCM messages and users can send messages through the web service.
For more information: [3]
Thanks,
Marcos

The code is available on GitHub:
 - The APNS Api : [1]
 - Test example for APNS: [2]

[1] https://github.com/MarcosPividori/GSoC-Communicating-with-mobile-devices/tree/master/push-notify/Network/PushNotify/Apns
[2] https://github.com/MarcosPividori/GSoC-Communicating-with-mobile-devices/tree/master/push-notify/test/testAPNS
[3] http://gsoc2013cwithmobiledevices.blogspot.com.ar/