Many of the KWARC projects are the work of students and become orphaned when these move on to greener pastures (e.g. when they graduate). We put these systems up for adoption bt new students. If you are interested, please contact someone from the KWARC group, we would be happy to help you understand the development opportunities and get involved.

• MathWebSearch (up for adoption)
  started 2005
  funded by

  MathSearch

  ODK

  OAF

  
  A Mathematical Search Engine
• KAT: KWARC Annotation Tool (up for adoption)
  June 2013  -  June 2017
  funded by

  MathSearch

  
  An Annotation Tool for STEM Documents
• OpenMathMap (up for adoption)
  June 2013  -  June 2015
  funded by

  MathSearch

  
  A Map of Mathematics
• Semantic Alliance (up for adoption)
  started August 2016
  funded by

  SiSsI

  FormalCAD

  
  A framework for mashing up semantic services into desktop applications.