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.