Skip to content
Snippets Groups Projects
Normal view Permalink
systems.md 463 B
Newer Older
Michael Kohlhase's avatar
new
Michael Kohlhase committed
1 2 3 4 5 6 7 8 9 
---
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