gfngfn / SATySFi Star 1.2k Code Issues Pull requests A statically-typed, functional typesetting system programming-language pdf latex functional-programming ocaml opentype markup-language opam pdf-generation typesetting-system satysfi Updated Jul 6, 2024 OCaml
na4zagin3 / satyrographos Star 44 Code Issues Pull requests Package manager for SATySFi opam satysfi Updated Sep 25, 2023 OCaml
puripuri2100 / xml2saty Star 0 Code Issues Pull requests This software converts xml file to SATySFi's document file. xml ocaml opam satysfi xml2saty satysfi-document Updated May 3, 2020 OCaml
puripuri2100 / BibSATySFi Star 4 Code Issues Pull requests Convert Bib file to SATySFi file bibtex bib satysfi Updated Apr 29, 2023 OCaml
puripuri2100 / satysfifmt Star 2 Code Issues Pull requests Tool to format SATySFi code. parser ocaml lexer codeformatter satysfi lexer-parser Updated Jan 7, 2023 OCaml
puripuri2100 / csv2satyg Star 0 Code Issues Pull requests Converts csv file to SATySFi's package file. csv satysfi Updated Apr 2, 2020 OCaml
matsud224 / satyrographos-package-index Star 4 Code Issues Pull requests packaging satysfi satyrographos Updated Feb 5, 2021 OCaml