Alternatives and similar repositories for SATySFi

Users that are interested in SATySFi are comparing it to the libraries listed below

• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• na4zagin3 / satyrographos

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

  View on GitHub
  The SATySFi Language Server
  ☆67Feb 1, 2023Updated 3 years ago
• qnighy / satysfi.vim

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

  View on GitHub
  An ML-like statically-typed Erlang
  ☆157Oct 6, 2023Updated 2 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
• esumii / min-caml

  View on GitHub
  moved from https://sourceforge.net/p/min-caml/code/
  ☆518Sep 29, 2025Updated 4 months ago
• egison / egison

  View on GitHub
  The Egison Programming Language
  ☆922Updated this week
• gfngfn / the_satysfibook

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

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

  View on GitHub
  Light LaTeX Make
  ☆127Jan 15, 2026Updated last month
• kuis-isle3sw / IoPLMaterials

  View on GitHub
  Materials for the class "Implementation of Programming Languages" in Kyoto University.
  ☆168Oct 29, 2025Updated 3 months ago
• smlsharp / smlsharp

  View on GitHub
  SML# compiler
  ☆246Dec 8, 2025Updated 2 months ago
• namachan10777 / BiByFi

  View on GitHub
  A bibliography framework for SATySFi.
  ☆23Jan 6, 2023Updated 3 years ago
• maekawatoshiki / rcaml

  View on GitHub
  rcaml is an OCaml implementation in Rust
  ☆63Dec 25, 2017Updated 8 years ago
• qnighy / satysfi-cross-windows

  View on GitHub
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Jul 8, 2018Updated 7 years ago
• google / mozc

  View on GitHub
  Mozc - a Japanese Input Method Editor designed for multi-platform
  ☆2,821Jan 24, 2026Updated 3 weeks ago
• camlspotter / ocaml-zippy-tutorial-in-japanese

  View on GitHub
  OCaml の日本語での情報
  ☆95Oct 3, 2018Updated 7 years ago
• kaityo256 / sevendayshpc

  View on GitHub
  一週間でなれる！スパコンプログラマ
  ☆721Apr 10, 2025Updated 10 months 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 2 months ago
• nyuichi / satysfi-base

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

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

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

  View on GitHub
  An Emacs major mode for SATySFi
  ☆18Aug 10, 2024Updated last year
• abenori / jlreq

  View on GitHub
  ☆147Jan 12, 2026Updated last month
• rust-lang-ja / the-rust-programming-language-ja

  View on GitHub
  Rust文書の【旧】和訳レポジトリ → 最新版はこちら： https://github.com/rust-lang-ja/book-ja
  ☆349Oct 12, 2020Updated 5 years ago
• k16shikano / hpdft

  View on GitHub
  tools to poke pdf using haskell
  ☆45Feb 7, 2025Updated last year
• monaqa / satysfi-easytable

  View on GitHub
  A SATySFi package to build simple tables.
  ☆17Apr 30, 2022Updated 3 years ago
• Naotonosato / Blawn

  View on GitHub
  Pleasant Programming Language.
  ☆744Nov 8, 2022Updated 3 years ago
• amutake / docker-satysfi

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

  View on GitHub
  プログラミング用日本語等幅フォント Cica(シカ)
  ☆1,392Nov 5, 2024Updated last year
• kmuto / review

  View on GitHub
  Re:VIEW is flexible document format/conversion system
  ☆1,387Dec 7, 2025Updated 2 months ago
• textlint / textlint

  View on GitHub
  textlint is the pluggable linter for natural language text.
  ☆3,079Updated this week
• nekketsuuu / satysfi-matrix

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

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• kmyk-jikka / Jikka

  View on GitHub
  an automated solver for problems of competitive programming
  ☆152Sep 29, 2021Updated 4 years ago
• konn / satysfi-steamer

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

  View on GitHub
  A statically typed language compatible with Python
  ☆2,850Dec 4, 2025Updated 2 months ago