Pinned Repositories
BiByFi
A bibliography framework for SATySFi.
gitpod-satysfi
Docker image for SATySFi on Gitpod
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
SATySFi
A statically-typed, functional typesetting system
satysfi-algorithm
Typesetting pseudo-code in SATySFi
satysfi-conf-2022
Slide for SATySFi Conf 2022
satysfi-gitpod-template
Gitpod Template for SATySFi
satysfi-workshop
SATySFi Support for VSCode
the_satysfibook
The manuscript for The SATySFibook (1st edition for the Web)
pickoba's Repositories
pickoba/satysfi-workshop
SATySFi Support for VSCode
pickoba/satysfi-gitpod-template
Gitpod Template for SATySFi
pickoba/satysfi-algorithm
Typesetting pseudo-code in SATySFi
pickoba/satysfi-conf-2022
Slide for SATySFi Conf 2022
pickoba/gitpod-satysfi
Docker image for SATySFi on Gitpod
pickoba/the_satysfibook
The manuscript for The SATySFibook (1st edition for the Web)
pickoba/BiByFi
A bibliography framework for SATySFi.
pickoba/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
pickoba/SATySFi
A statically-typed, functional typesetting system
pickoba/satysfi-base
complementary collection of useful functions/modules for SATySFi
pickoba/satysfi-class-jlreq
pickoba/satysfi-figbox
A SATySFi package that creates charts and places them in inappropriate positions.
pickoba/satysfi-latex-template
The template repository for SATySFi (v0.1.0) + LaTeX
pickoba/satysfi-ted-playground
Online/Local Playground for SATySFi-TED
pickoba/tree-sitter-satysfi
tree-sitter grammar for SATySFi
pickoba/zinit
Flexible and fast ZSH plugin manager