SATySFi
https://raw.githubusercontent.com/wiki/gfngfn/SATySFi/img/satysfi-logo.png
日本語版 README
より
SATySFi(英単語の “satisfy” と同様に発音します)は,静的型つきのいわゆる函数型言語が備わった,新しい組版処理システムです。
リポジトリ:
https://github.com/gfngfn/SATySFi
README(日本語):
https://github.com/gfngfn/SATySFi/blob/master/README-ja.md