Projects in Awesome Lists tagged with satysfi
A curated list of projects in awesome lists tagged with satysfi .
https://github.com/gfngfn/satysfi
A statically-typed, functional typesetting system
functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system
Last synced: 14 May 2025
https://github.com/gfngfn/SATySFi
A statically-typed, functional typesetting system
functional-programming latex markup-language ocaml opam opentype pdf pdf-generation programming-language satysfi typesetting-system
Last synced: 27 Mar 2025
https://github.com/gfngfn/the_satysfibook
The manuscript for The SATySFibook (1st edition for the Web)
Last synced: 05 Mar 2025
https://github.com/qnighy/satysfi.vim
Vim syntax plugin for SATySFi typesetting system
satysfi satysfi-typesetting vim vim-plugins
Last synced: 30 Apr 2025
https://github.com/nyuichi/satysfi-base
complementary collection of useful functions and modules for SATySFi
Last synced: 13 Apr 2025
https://github.com/gfngfn/cs-thesis
A SATySFi class file for writing CS master theses at The University of Tokyo
Last synced: 05 Mar 2025
https://github.com/amutake/docker-satysfi
Docker images for SATySFi and Satyrographos
docker-image satyrographos satysfi
Last synced: 20 Mar 2025
https://github.com/namachan10777/bibyfi
A bibliography framework for SATySFi.
Last synced: 23 Apr 2025
https://github.com/na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
Last synced: 14 Apr 2025
https://github.com/puripuri2100/mdbook-satysfi
A mdbook backend for generating SATySFi documents.
html html5 markdown mdbook mdbook-plugins pdf rust satysfi
Last synced: 13 Apr 2025
https://github.com/gfngfn/satysfi.el
An Emacs major mode for SATySFi
emacs emacs-mode emacs-package satysfi
Last synced: 13 Feb 2025
https://github.com/puripuri2100/satysfi-code-printer
Typeset source code with SATySFi
Last synced: 19 Feb 2025
https://github.com/nekketsuuu/satysfi-matrix
Math matrix library for SATySFi
Last synced: 01 Mar 2025
https://github.com/shinchoku-tairiku/shinchoku-tairiku.satyh
進捗大陸で使用されたSATySFiファイル
Last synced: 02 May 2025
https://github.com/puripuri2100/exdesign
A class file easy to customize with SATySFi
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-class-template
Flexible setting able SATySFi class files
classfile pdf satysfi template
Last synced: 19 Feb 2025
https://github.com/hanazuki/satysfi.el
Emacs major mode for editing SATySFi documents
Last synced: 27 Dec 2024
https://github.com/MasWag/pandoc-satysfi-template
A pandoc custom writer and template for SATySFi
markdown-converter pandoc pandoc-writer satysfi satysfi-typesetting
Last synced: 02 May 2025
https://github.com/maswag/pandoc-satysfi-template
A pandoc custom writer and template for SATySFi
markdown-converter pandoc pandoc-writer satysfi satysfi-typesetting
Last synced: 14 Apr 2025
https://github.com/maswag/cv-satysfi
Curriculum Vitae class in SATySFi
curriculum-vitae hr resume satysfi
Last synced: 14 Apr 2025
https://github.com/puripuri2100/satysfi-siunitx
A comprehensive (SI) units package
Last synced: 19 Feb 2025
https://github.com/puripuri2100/SATySFi-siunitx
A comprehensive (SI) units package
Last synced: 02 May 2025
https://github.com/puripuri2100/satysfi-tombo
Generate Japanese-style crop marks
Last synced: 19 Feb 2025
https://github.com/kyure-a/satysfi-ts-mode
A tree-sitter based major-mode for SATySFi
emacs major-mode satysfi tree-sitter
Last synced: 08 Feb 2025
https://github.com/puripuri2100/satysfi-ruby
Japanese-style ruby in SATySFi
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-class-mdbook-satysfi
A SATySFi class file for processing document file generated by mdbook-satysfi
mdbook mdbook-plugins mdbook-satysfi satyrographos satysfi
Last synced: 19 Feb 2025
https://github.com/puripuri2100/bibsatysfi
Convert Bib file to SATySFi file
Last synced: 29 Dec 2024
https://github.com/puripuri2100/satysfi-make-latex
LaTeXのパッケージで提供されるコマンドをSATySFiのtext-modeでも使えるようにしたもの
Last synced: 05 Mar 2025
https://github.com/puripuri2100/satysfi-class-clsor-concept
ファンクタを用いたSATySFiのドキュメントクラス生成ライブラリ
Last synced: 19 Feb 2025
https://github.com/gfngfn/satysfi-external-repo
Custom OPAM repository for external libraries of SATySFi
ocaml opam opam-repository satysfi
Last synced: 13 Feb 2025
https://github.com/puripuri2100/satysfi-bibtex-parser
BibTeX format parser library with SATySFi
bibtex document parser satysfi
Last synced: 19 Feb 2025
https://github.com/amutake/docker-satysfi-demo
A demo of satysfi-docker and GitHub Actions
Last synced: 02 Apr 2025
https://github.com/sano-jin/satysfi-footnote-scheme-ext
A package to allow SATySFi to have floating boxes at the bottom of pages.
Last synced: 24 Mar 2025
https://github.com/yudai-nkt/language-satysfi
An Atom package that provides SATySFi grammar
atom grammar satysfi syntax-highlighting
Last synced: 02 May 2025
https://github.com/nekketsuuu/satysfi-my-soul
Website for SATySFi snippets
markdown pandoc satysfi site-repo typesetting website
Last synced: 01 Mar 2025
https://github.com/puripuri2100/satysficonf2021
SATySFi Conf 2021で使用したスライドのソースコードとPDFです
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-lipsum
A SATySFi package of dummy text.
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfifmt
Tool to format SATySFi code.
codeformatter lexer lexer-parser ocaml parser satysfi
Last synced: 19 Feb 2025
https://github.com/konn/satysfi-tikzyfi
A mostly incomplete and unSATySFiing attemp at porting miniature subset of TikZ to SATySFi
Last synced: 17 Mar 2025
https://github.com/na4zagin3/SATySFi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Last synced: 02 May 2025
https://github.com/linoscope/resume-satyh
A SATySFi class for writing resume/cv
Last synced: 04 Apr 2025
https://github.com/gw31415/satysfi-chemfml
A SATySFi Package for chemical formulas
Last synced: 21 Feb 2025
https://github.com/puripuri2100/satysfi-fonts-han-sans-jp
SATySFi Font Package for han sans JP fonts（源ノ角ゴシック）
fonts satyrographos satysfi source-han-sans
Last synced: 19 Feb 2025
https://github.com/puripuri2100/formatcls
This software creates SATySFi's class file based on json file.
Last synced: 19 Feb 2025
https://github.com/na4zagin3/satysfi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
Last synced: 20 Feb 2025
https://github.com/puripuri2100/satysfi-make-html
Outputting HTML file using SATySFi's text-mode.
Last synced: 19 Feb 2025
https://github.com/amutake/made-with-satysfi
List of documents made with SATySFi
Last synced: 02 Apr 2025
https://github.com/na4zagin3/SATySFi-grcnum
Greek numeral library for SATySFi
Last synced: 02 May 2025
https://github.com/puripuri2100/SATySFi-debug-show-value
SATySFi-debug-show-value is SATySFi package that stringify SATySFi's value.
Last synced: 02 May 2025
https://github.com/puripuri2100/satysfi-debug-show-value
SATySFi-debug-show-value is SATySFi package that stringify SATySFi's value.
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-quotation
A SATySFi package of quoting.
Last synced: 19 Feb 2025
https://github.com/puripuri2100/xml2saty-rust
This software converts xml file to SATySFi's document file.
cargo rust satysfi satysfi-document xml xml2saty-rust
Last synced: 19 Feb 2025
https://github.com/puripuri2100/xml2saty
This software converts xml file to SATySFi's document file.
ocaml opam satysfi satysfi-document xml xml2saty
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-simple-itemize
SATySFi-simple-itemize is SATySFi package to write for simple bullet.
Last synced: 19 Feb 2025
https://github.com/diohabara/satysfi-demo
use https://github.com/gfngfn/SATySFi for fun
Last synced: 25 Mar 2025
https://github.com/puripuri2100/satysfi-make-markdown
テキストモードを利用してmdファイルを生成する
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-fonts-inconsolata
SATySFi Font Package for Inconsolata fonts
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-fonts-noto-emoji
SATySFi font package for Noto Emoji fonts.
emoji fonts noto-emoji satyrographos satysfi
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-fonts-noto-sans-cjk-sc
SATySFi Font Package for Noto Sans CJK SC fonts
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-md2latex
Convert Markdown to LaTeX with SATySFi.
Last synced: 19 Feb 2025
https://github.com/na4zagin3/SATySFi-fonts-geolab
SATySFi Font Package for GeoLab's Georgian fonts
Last synced: 02 May 2025
https://github.com/yudai-nkt/tree-sitter-satysfi
SATySFi grammar for tree-sitter
Last synced: 14 Mar 2025
https://github.com/puripuri2100/satysfi-fonts-han-serif-jp
SATySFi Font Package for han serif JP fonts（源ノ明朝）
fonts han-serif satyrographos satysfi
Last synced: 19 Feb 2025
https://github.com/puripuri2100/satysfi-assert-eq
SATySFi-assert-eq is SATySFi packages that provides function as the Rust's assert_eq! macro.
Last synced: 19 Feb 2025
https://github.com/puripuri2100/csv2satyg
Converts csv file to SATySFi's package file.
Last synced: 19 Feb 2025
https://github.com/puripuri2100/musikui.satyh
This package is for easy expression of arithmetical restorations with SATySFi.
Last synced: 19 Feb 2025
https://github.com/na4zagin3/satysfi-fonts-geolab
SATySFi Font Package for GeoLab's Georgian fonts
Last synced: 20 Feb 2025
https://github.com/na4zagin3/satysfi-grcnum
Greek numeral library for SATySFi
Last synced: 20 Feb 2025
https://github.com/kyori19/docker-satysfi
Docker image with SATySFi installed
docker docker-image dockerfile satysfi
Last synced: 12 Mar 2025
https://github.com/kyori19/devcontainers-satysfi
DevContainer resources to use SATySFi
Last synced: 12 Mar 2025
https://github.com/amutake/setup-satysfi
Set up your GitHub Actions workflow with a specific version of SATySFi
github-actions saphe satysfi satysfi-typesetting
Last synced: 02 Apr 2025
https://github.com/kyori19/write-with-satysfi
A template repository to write docs with SATySFi.
Last synced: 12 Mar 2025