GitHub repository: sebbrudzinski/Open-LaTeX-Studio
Primary language: Java
Description: Open Source LaTeX editor that supports remote collaboration