[claudionaoto]

There is also SATySFi[1] (another typesetting system in Ocaml), it is active but mainly in japanese.

[1] https://github.com/gfngfn/SATySFi