4 results found Sort:

gfngfn
SATySFi gfngfn
84
1.2k
lgpl-3.0
52
A statically-typed, functional typesetting system
pdf opam latex ocaml satysfi opentype pdf-generation markup-language typesetting-system programming-language functional-programming
Created 2015-03-19
2,674 commits to master branch, last one 2 months ago
monaqa
satysfi-language-server monaqa
3
66
mit
5
The SATySFi Language Server
satysfi language-server
Created 2021-03-09
62 commits to master branch, last one about a year ago
monaqa
slydifi monaqa
7
56
mit
5
Create a slide with SATySFi!
satysfi satyrographos
Created 2019-08-03
182 commits to master branch, last one 2 years ago
gfngfn
the_satysfibook gfngfn
2
35
unknown
3
The manuscript for The SATySFi​book (1st edition for the Web)
satysfi
Created 2021-02-07
2 commits to master branch, last one 3 years ago