GitHub repository: KWARC/sTeX
Primary language: TeX
Description: A semantic Extension of TeX/LaTeX