gfngfn/SATySFi
A statically-typed, functional typesetting system observed · 2026-08-28
Health v2 · maintenance only
57/100
- Activity 77
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-02. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 4185
- days_rel: n/a
- days_push: 143
- n_releases_24m: 0
Adoption not part of the score
1247 stars · 86 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
SATySFi is a typesetting system built around a statically-typed, functional programming language, producing PDF documents. It combines a LaTeX-like text layer for writing documents with an OCaml-like program layer for defining custom commands, with informative type error reporting.
Use cases
- typeset academic papers and technical documents to pdf
- write documents with custom markup commands
- find a latex alternative with better error messages
- define reusable document macros in a functional language
- generate pdfs with precise opentype font control
When to choose
- you want programmable, statically-checked typesetting with custom commands
- you prefer functional programming over latex macros
- you need informative type errors while writing documents
When to avoid
- you need a mature ecosystem with extensive latex package compatibility
- you want a wysiwyg word processor
- you cannot install ocaml/opam toolchains
Facets
application · maturity active
templating pdf programming-language parser documentation pdf programming-languages text-editors windows cli typesetting latex-alternative ocaml statically-typed opentype document-preparation linux macos
1 source
- readme: https://github.com/gfngfn/SATySFi · fetched 2026-08-28 · 9fc5729af3dc
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| gfngfn/SATySFi | main | 57 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem