SATySFi

SATySFi (Static Analysis-based Typesetting System for Functional Implementation) is an open source computer program used for making articles, reports and mathematical formulas. Various free extensions are developed for SATySFi, and it is expected to be an alternative option for LaTeX and Beamer in the future.

Other websites
 SATySFi Playground - at this website, users can experience SATysFi typesetting on their web browsers.

Category:Programming languages
Category:Software