---
layout: page
title: SIGMathLing - Systems & Libraries
---
only a few, but see the [plan](/techical/) 

* [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