tern-push (npm): A Tern plugin adding support for using tern server with push feature
Keywords: tern|WebSocket