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.
JOBAD is a javascript framework which makes it easy to create interactive web pages.