lots of former projects

systems/TNTBase.md

+---
+layout: system
+menu_title: TNTBase
+title: TNTBase
+teaser: A  Versioned Storage for Mathematics (OMDoc) 
+start: 2009-09
+end: 2012-08
+people: mkohlhase,vzholudev
+---
+TNTBase is a database which is optimized for storing mathematical documents in OMDoc format. It is based on Subversion and Berkeley DB XML.

systems/cpoint.md

+---
+layout: system
+menu_title: CPoint
+title: CPoint
+teaser: Adding a semantic layer to MS PowerPoint.
+start: 2001-07
+end: 2008-04
+people: akohlhase
+---

systems/jomdoc.md

+---
+layout: system
+menu_title: JOMDoc
+title: JOMDoc
+teaser: A Java API for OMDoc documents.
+start: 2007-09
+end: 2013-12
+people: mkohlhase,nmueller
+---
+JOMDoc is Java API for OMDoc documents that facilitates the parsing of OMDoc XML documents into a Java data structure, to manipulate them conveniently, and to serialize the result back to XML. The functionality of this library will be superseded by the MMT API in the near future.

systems/kat.md

+---
+layout: system
+menu_title: KAT
+title: KAT: An Annotation Tool for STEM Documents 
+start: 2013-06
+people: twiesing
+---
+KAT is an  annotation-ontology independent annotation tool for HTML5 documents. It can even annotate MathML. 

systems/krextor.md

+---
+layout: system
+menu_title: Krextor
+title: Krextor
+start: 2008-02
+end: 2010-09
+people: clange
+---
+Krextor, the ​KWARC RDF Extractor, is an extensible XSLT-based framework for extracting RDF from XML, supporting multiple input languages as well as multiple output RDF notations. See

systems/openmathmap.md

+---
+layout: system
+menu_title: OpenMathMap
+title: OpenMathMap
+teaser: A Map of Mathematics
+start: 2013-06
+repository: https://github.com/KWARC/openmathmap/
+homepage: http://map.mathweb.org
+people: mkohlhase
+---
+OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data.

systems/swim.md

+---
+layout: system
+menu_title: SWIM
+title: "SWiM: Semantic Wiki for Mathematics"
+start: 2006-08
+end: 2009-06
+people: mkohlhase,clange
+---
+SWIM is a Semantic Wiki for Interactive Mathematics. The system has been superseded by [MathHub](/systems/mathhub/).