Here are
110 public repositories
matching this topic...
A statically-typed, functional typesetting system
Updated
Nov 12, 2024
OCaml
The SATySFi Language Server
Create a slide with SATySFi!
Package manager for SATySFi
Updated
Sep 25, 2023
OCaml
The manuscript for The SATySFibook (1st edition for the Web)
Vim syntax plugin for SATySFi typesetting system
Updated
Sep 17, 2021
Vim Script
complementary collection of useful functions and modules for SATySFi
Updated
Apr 7, 2024
JavaScript
A SATySFi class file for writing CS master theses at The University of Tokyo
Updated
Sep 13, 2018
Makefile
Docker images for SATySFi and Satyrographos
Updated
Jun 17, 2024
Dockerfile
A bibliography framework for SATySFi.
Updated
Jan 6, 2023
Makefile
SATySFi Support for VSCode
Updated
Jul 3, 2024
TypeScript
A mdbook backend for generating SATySFi documents.
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Updated
Aug 15, 2024
Shell
An Emacs major mode for SATySFi
Updated
Aug 10, 2024
Emacs Lisp
A SATySFi package to build simple tables.
Updated
Apr 30, 2022
Shell
Typeset source code with SATySFi
A SATySFi package containing A-to-Z mathematical commands.
SATySFi package for flexible ordered/unordered/description lists.
Improve this page
Add a description, image, and links to the
satysfi
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
satysfi
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.