PLDB Top 1,000 Features Creators Resources Blog Explorer Download

SATySFi

< >

SATySFi is a text markup language created in 2015 by Takashi Suwa.

Source code:

git clone https://github.com/gfngfn/SATySFi

#1100on PLDB

9Years Old

A statically-typed, functional typesetting system

SATySFi is developed on GitHub and has 969 stars
SATySFi first developed in https://github.com/gfngfn/SATySFi/issues

PLDB - Build the next great programming language · About · Acknowledgements · Extensions · Day 626 · feedback@pldb.io