KWARC Open Source

The KWARC research group at FAU Erlangen-Nürnberg (formerly at Jacobs University Bremen) focuses on foundations and applications of formal knowledge representation in flexiformal STEM documents.

Learn more about KWARC Repos

MMT

The MMT Language and System

Repository Github page

MathHub

Drupal implementation of the MathHub system

Repository Homepage

localmh

A cross-repository administration tool for the local authoring in MathHub.info

Repository

JOBAD

JOBAD is a javascript framework which makes it easy to create interactive web pages.

Repository

MathWebSearch

A content-based search engine for mathematical formulae.

Repository

Sally

A Framework for Semantic Allies.

Repository

Planetary

The Planetary System is a math-enabled Web 3.0 information portal.

Repository

OpenMathMap

A recognizable, interactive map of mathematical areas from the MSC.

Repository Demo