A development platform for realtime web applications