pickoba's repositories
satysfi-workshop
SATySFi Support for VSCode
satysfi-gitpod-template
Gitpod Template for SATySFi
satysfi-algorithm
Typesetting pseudo-code in SATySFi
satysfi-conf-2022
Slide for SATySFi Conf 2022
gitpod-satysfi
Docker image for SATySFi on Gitpod
the_satysfibook
The manuscript for The SATySFi​book (1st edition for the Web)
BiByFi
A bibliography framework for SATySFi.
Language:MakefileUnlicense000
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Language:ShellCC0-1.0000
SATySFi
A statically-typed, functional typesetting system
Language:OCamlLGPL-3.0000
tree-sitter-satysfi
tree-sitter grammar for SATySFi
Language:C000
zinit
Flexible and fast ZSH plugin manager
NOASSERTION000