The repositories in this group develop the FTML Math software ecosystem for flexiformal active HTML documents. The core idea is that by making the meaning of mathematical terms, expressions, and statements explicit (via invisible semantic annotations), interactive services can be implemented generically, i.e. once-and-forall, independent of the particular document.
The main components are the following (the others being auxiliary systems, experiments, or legacy developments):
- FTML (Flexiformal HTML), a markup language for flexiformal documents.
- RusTeX, a TeX implementation in Rust that generates presentational HTML instead of PDF from TeX/LaTeX (and FTML from sTeX).
- FLAMS, a knowledge management system and server for FTML documents that embeds semantic added-value service.
- The FTML viewer, a WebAssembly polyfill script that embeds basic FTML interactions.
FTML can be generated from sTeX (see https://github.com/sLaTeX for the LaTeX package and supporting software), from FloDown (a flexiformal extension of Markdown), and from Word documents via the WOIDE plugin. There is a large set of mathematical archives (versioned repositories of sTeX documents and glossaries) at https://MathHub.info.