LeanPipe provides real-time server-to-client strongly typed notifications in a pub-sub manner,...