External resources#
This lists various external packages, applications, libraries, etc. that we found interesting and/or helpful during the development.
TeX-Tools#
LanguageTool#
pyLanguagetool - Python Library for LT JSON API
LTeX - Spell checker for LaTeX as VSCode-Plugin