GitHub repository: tani/texlab
Description: An implementation of the Language Server Protocol for LaTeX