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