-
OMDoc: Open Mathematical Documents started 1998
funded byJem
MathSearch 
OMoC 
TN "OpenMath" Logosphere ONCE-CS
A markup format and data model for Open Mathematical Documents and Knowledge -
sTeX: Semantic Markup for LaTeX - MathWebSearch (up for adoption)
-
MathHub.info started August 2008
funded by MathSearch OAF 
ODK LATIN 
MDH
A portal for active mathematical documents and an archive for flexiformal mathematics. - LLaMaPuN: Language and Mathematics Processing and Understanding
-
MMT started March 2011
funded by OAF ODK LATIN MathSearch
A framework for representing declarative languages such as logics, type theories, set theories, etc.. The MMT API implements complex algorithms generically for any language in the framework. - The UFrameIT Framework started 2013
funded by OAF
A Framework for Serious Games by combining Virtual Worlds with Mathematical Knowledge Management - SMGLoM - A Semantic, Multilingual Glossary of Mathematics
- Semantic Alliance (up for adoption)
- The TGView3D Graph Viewer started 2018
funded by ODK
An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general