An open-source file editing server with TeX and Markdown compilation, backed by powerful Git history.
Page to come.
https://github.com/Remote-Text