GitHub repository: massn/SATySFi
Description: A statically-typed, functional typesetting system