GitHub repository: sharelatex/real-time-sharelatex
Primary language: CoffeeScript
Description: The socket.io layer of ShareLaTeX for real-time editor interactions