An API for real-time shared and synchronized data in web applications