*[CorTeX](http://cortex.mathweb.org) A general purpose processing framework for corpora of scientific documents, see the [mathweb istance](http://cortex.mathweb.org/).
*[KAT](http://kwarc.github.io/KAT) An Annotation Tool for STEM Documents
*[llamapun](https://github.com/KWARC/llamapun): common language and mathematics processing algorithms, in Rust