Alternatives and similar repositories for learn-satysfi

Users that are interested in learn-satysfi are comparing it to the libraries listed below

• na4zagin3 / satyrographos-repo

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• abenori / satysfi-class-jlreq

  View on GitHub
  ☆17Oct 22, 2023Updated 2 years ago
• na4zagin3 / satyrographos

  View on GitHub
  Package manager for SATySFi
  ☆48Sep 25, 2023Updated 2 years ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• monaqa / satysfi-enumitem

  View on GitHub
  SATySFi package for flexible ordered/unordered/description lists.
  ☆15Nov 23, 2021Updated 4 years ago
• nekketsuuu / satysfi-matrix

  View on GitHub
  Math matrix library for SATySFi
  ☆14Oct 15, 2019Updated 6 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• nagaet / Garrigue-lecture-2018_AW

  View on GitHub
  ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)
  ☆13Feb 27, 2019Updated 6 years ago
• namachan10777 / BiByFi

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 years ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• monaqa / satysfi-azmath

  View on GitHub
  A SATySFi package containing A-to-Z mathematical commands.
  ☆16Oct 10, 2022Updated 3 years ago
• gfngfn / otfed

  View on GitHub
  An OpenType font format encoder & decoder written in OCaml
  ☆19Nov 6, 2024Updated last year
• gfngfn / the_satysfibook

  View on GitHub
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Aug 27, 2024Updated last year
• qnighy / satysfi.vim

  View on GitHub
  Vim syntax plugin for SATySFi typesetting system
  ☆33Sep 17, 2021Updated 4 years ago
• aminophen / scsnowman

  View on GitHub
  Snowman variants using TikZ
  ☆14Feb 23, 2023Updated 2 years ago
• akicho8 / shogi-mode

  View on GitHub
  将棋の棋譜ファイルの構文に色を付けるEmacs用のモード
  ☆12Jan 28, 2024Updated 2 years ago
• monaqa / satysfi-parser

  View on GitHub
  SATySFi parser writtern in Rust.
  ☆14Apr 14, 2022Updated 3 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• usagrada / satysfi-formatter

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 8 months ago
• pickoba / satysfi-workshop

  View on GitHub
  SATySFi Support for VSCode
  ☆20Nov 16, 2025Updated 3 months ago
• monaqa / tree-sitter-satysfi

  View on GitHub
  tree-sitter grammar for SATySFi
  ☆19Apr 8, 2023Updated 2 years ago
• anlp-nenji / nlproceedings

  View on GitHub
  LaTeX document class for the proceedings of ANLP
  ☆21Oct 28, 2025Updated 3 months ago
• arkark / d-prolog

  View on GitHub
  A Prolog implementation in D language
  ☆25Jan 11, 2021Updated 5 years ago
• monaqa / satysfi-language-server

  View on GitHub
  The SATySFi Language Server
  ☆67Feb 1, 2023Updated 3 years ago
• amutake / actario

  View on GitHub
  Verification Framework for Actor Systems on Coq
  ☆29Jul 2, 2018Updated 7 years ago
• gfngfn / cs-thesis

  View on GitHub
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Sep 13, 2018Updated 7 years ago
• yohhoy / av1parser

  View on GitHub
  AV1 video codec bitstream parser (not decoder!)
  ☆40Sep 29, 2021Updated 4 years ago
• dd86k / sha3-d

  View on GitHub
  Pure D implementation of SHA-3 (Keccak-f[1600,24]) + DUB package
  ☆12Sep 15, 2025Updated 5 months ago
• libroworks / CSSkumihan_samples

  View on GitHub
  CSS組版のサンプル集
  ☆12May 13, 2023Updated 2 years ago
• KOBA789 / keyboard-from-scratch

  View on GitHub
  Cookpad Spring Internship 2019 自作キーボードコース 講義資料
  ☆90Jul 15, 2021Updated 4 years ago
• gfngfn / SATySFi

  View on GitHub
  A statically-typed, functional typesetting system
  ☆1,241Dec 15, 2025Updated 2 months ago
• ponjbogri / cll-ja

  View on GitHub
  Japanese summary translation of "The Complete Lojban Language"
  ☆14Oct 24, 2022Updated 3 years ago
• LuaDist / luadist

  View on GitHub
  Automated Lua module deployment utility for the LuaDist project.
  ☆13Apr 26, 2012Updated 13 years ago
• japaric / 2wd

  View on GitHub
  A remotely controlled wheeled robot
  ☆10Jul 29, 2017Updated 8 years ago
• aratama / purescript-book-ja

  View on GitHub
  ☆10Dec 7, 2022Updated 3 years ago
• arthuraa / beaq

  View on GitHub
  A Formalization of TeX in Coq
  ☆11Feb 27, 2022Updated 3 years ago