From 5f260f511c57b81b2b809622a68036c217faff3f Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Mon, 9 Oct 2017 07:28:06 +0200 Subject: [PATCH] new --- systems.md | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 systems.md diff --git a/systems.md b/systems.md new file mode 100644 index 0000000..627d3c4 --- /dev/null +++ b/systems.md @@ -0,0 +1,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 -- GitLab