Hacker GitHub

← All repos

gfngfn/SATySFi

View on GitHub ↗ ★ 1,248 OCaml

A statically-typed, functional typesetting system

4 mentions on Hacker News by 3 people: 2 stories, 2 comments · first 2018-03-12 · latest 2025-06-23

Mentions per year 4 mentions · busiest year 2018 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    SATySFi: A statically-typed, functional typesetting system
    story by Bogdanp · 2025-06-23 · 0 comments
  2. https://github.com/gfngfn/SATySFi SATySFi (pronounced in the same way as the verb “satisfy” in English) is a new typesetting system equipped with a statically-typed, functional programming language. It consists mainly of two “layers” ― the…
    comment by claudionaoto · 2022-11-03 · in Sile: A Modern Rewrite of TeX
  3. …is also SATySFi[1] (another typesetting system in Ocaml), it is active but mainly in japanese. [1] https://github.com/gfngfn/SATySFi
    comment by claudionaoto · 2021-05-27 · in Finl is not LaTeX
  4. ▲ 1
    SATySFi: statically-typed, functional typesetting system
    story by ingve · 2018-03-12 · 0 comments