GitHub repository: overleaf/real-time
Primary language: JavaScript
Description: The socket.io layer of Overleaf for real-time editor interactions