Best 2 Autocompile Open Source Projects

Iyuangang Openwrt

OpenWrt Stable 1907 with lean's package

Sshlatex

A collection of hacks to efficiently run LaTeX via ssh