SIGMathLing - Systems & Libraries

only a few, but see the plan

• CorTeX A general purpose processing framework for corpora of scientific documents, see the mathweb istance.
• KAT An Annotation Tool for STEM Documents
• llamapun: common language and mathematics processing algorithms, in Rust