Alternatives and similar repositories for the_satysfibook

Users that are interested in the_satysfibook 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
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• namachan10777 / BiByFi

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

  View on GitHub
  ☆17Oct 22, 2023Updated 2 years ago
• pickoba / satysfi-workshop

  View on GitHub
  SATySFi Support for VSCode
  ☆20Nov 16, 2025Updated 3 months ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 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
• monaqa / tree-sitter-satysfi

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

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

  View on GitHub
  Math matrix library for SATySFi
  ☆14Oct 15, 2019Updated 6 years ago
• na4zagin3 / satyrographos

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

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 8 months ago
• gfngfn / game_tianjiupai

  View on GitHub
  A Tian Jiu Pai (天九牌) game server written in Sesterl & Elm
  ☆16Oct 8, 2023Updated 2 years ago
• qnighy / satysfi.vim

  View on GitHub
  Vim syntax plugin for SATySFi typesetting system
  ☆33Sep 17, 2021Updated 4 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
• gfngfn / otfed

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

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• discus0434 / text-generation

  View on GitHub
  Easy-to-use scripts to fine-tune GPT-2-JA with your own texts, to generate sentences, and to tweet them automatically.
  ☆19Aug 26, 2025Updated 5 months ago
• rinsuki / sanime

  View on GitHub
  みんなが見たアニメ一覧をまとめて見れるやつ
  ☆11Nov 19, 2025Updated 2 months ago
• puripuri2100 / learn-satysfi

  View on GitHub
  SATySFiを学ぶためのドキュメント（作成中）
  ☆20May 22, 2021Updated 4 years ago
• monaqa / satysfi-language-server

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

  View on GitHub
  SATySFi's package
  ☆13Sep 11, 2019Updated 6 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Feb 8, 2026Updated last week
• monaqa / satysfi-azmath

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

  View on GitHub
  A website to list where is vending machines at University of Tsukuba.
  ☆18Feb 9, 2026Updated last week
• KEN-ALL / kenall-js

  View on GitHub
  ケンオール JavaScript SDK
  ☆17Updated this week
• SlashNephy / annict-profile-card

  View on GitHub
  🔭 Annict での今期の視聴状況を SVG 画像として出力するサーバ (WIP)
  ☆19Dec 29, 2025Updated last month
• itleigns / CoqLibrary

  View on GitHub
  Coqで様々な数学の定理を証明
  ☆18Nov 13, 2022Updated 3 years ago
• kmizu / minis

  View on GitHub
  A Programming Language implemented in JavaScript
  ☆18Updated this week
• inaniwaudon / tsukuba-yokohama-dev

  View on GitHub
  筑波大学にいるかいないかを記録・公開する Web サイト
  ☆25Jul 2, 2025Updated 7 months ago
• mohemohe / react-kagawa-pref

  View on GitHub
  香川県民チェック
  ☆24Jan 23, 2020Updated 6 years ago
• ryuuji / openbd-downloader

  View on GitHub
  openBDのデータをすべてダウンロードするツール
  ☆22Jun 8, 2022Updated 3 years ago
• cyanolupus / owari-shop

  View on GitHub
  wildcard subdomain playground
  ☆21Feb 4, 2026Updated last week
• textlint-ja / textlint-rule-no-doubled-joshi

  View on GitHub
  文中に同じ助詞が複数出てくるのをチェックするtextlintルール
  ☆23Jan 22, 2026Updated 3 weeks ago
• haxibami / hotate

  View on GitHub
  縦書きエディタ
  ☆24Updated this week