90 skills found · Page 1 of 3
gfngfn / SATySFiA statically-typed, functional typesetting system
monaqa / Satysfi Language ServerThe SATySFi Language Server
monaqa / SlydifiCreate a slide with SATySFi!
na4zagin3 / SatyrographosPackage manager for SATySFi
gfngfn / The SatysfibookThe manuscript for The SATySFibook (1st edition for the Web)
qnighy / Satysfi.vimVim syntax plugin for SATySFi typesetting system
nyuichi / Satysfi Basecomplementary collection of useful functions and modules for SATySFi
gfngfn / Cs ThesisA SATySFi class file for writing CS master theses at The University of Tokyo
amutake / Docker SatysfiDocker images for SATySFi and Satyrographos
namachan10777 / BiByFiA bibliography framework for SATySFi.
pickoba / Satysfi WorkshopSATySFi Support for VSCode
puripuri2100 / Learn SatysfiSATySFiを学ぶためのドキュメント（作成中）
monaqa / Tree Sitter Satysfitree-sitter grammar for SATySFi
puripuri2100 / Mdbook SatysfiA mdbook backend for generating SATySFi documents.
na4zagin3 / Satyrographos RepoCustom OPAM repository for SATySFi libraries managed by Satyrographos
gfngfn / Satysfi.elAn Emacs major mode for SATySFi
monaqa / Satysfi EasytableA SATySFi package to build simple tables.
usagrada / Satysfi FormatterFormatter for SATySFi
abenori / Satysfi Class JlreqNo description available
monaqa / Satysfi AzmathA SATySFi package containing A-to-Z mathematical commands.
