konn/satysfi-steamer external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

konn/satysfi-steamer

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/konn/satysfi-steamer)

Close

konn / satysfi-steamerView on GitHubMore

• External links
• Readme badge

Steamer: presentation in SATySFi

☆14May 9, 2019Updated 6 years ago

Alternatives and similar repositories for satysfi-steamer

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

• puripuri2100 / stjarticle

  View on GitHub
  SATySFi's package
  ☆13Sep 11, 2019Updated 6 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
  ☆26Updated this week
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• shinchoku-tairiku / shinchoku-tairiku.satyh

  View on GitHub
  進捗大陸で使用されたSATySFiファイル
  ☆12May 22, 2023Updated 2 years ago
• na4zagin3 / satyrographos

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

  View on GitHub
  A pandoc custom writer and template for SATySFi
  ☆10Feb 7, 2026Updated last month
• qnighy / satysfi-cross-windows

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

  View on GitHub
  A Hobby implementation of ML
  ☆16Dec 19, 2015Updated 10 years ago
• na4zagin3 / satyrographos-repo

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• 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
• monaqa / slydifi

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

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

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

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• yukimura1227 / reveal_lightning

  View on GitHub
  simple markdown editor and http server for reveal.js presentation powered by electron
  ☆13Dec 8, 2022Updated 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
• matsui54 / ddu-source-dein_update

  View on GitHub
  dein.vim upgrader using ddu.vim
  ☆11Aug 11, 2025Updated 6 months ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• SnO2WMaN / satyxin

  View on GitHub
  Are you SATySFi-ed with Nix?
  ☆14Mar 6, 2023Updated 3 years ago
• twin-te / manaba-report-integration

  View on GitHub
  Manabaのレポート提出状況を外部サービスに同期します
  ☆15Oct 12, 2023Updated 2 years ago
• takonomura / nasa.so

  View on GitHub
  なさそう
  ☆11Apr 30, 2024Updated last year
• 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
• Shougo / ddc-ui-native

  View on GitHub
  Native popup menu UI for ddc.vim
  ☆15Aug 30, 2025Updated 6 months ago
• rust-shogi-crates / shogi_core

  View on GitHub
  Defines fundamental data types and functions
  ☆12Dec 21, 2025Updated 2 months ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 5 years ago
• ryota2357 / ddu-column-icon_filename

  View on GitHub
  Icon and filename column for ddu.vim
  ☆13Aug 4, 2024Updated last year
• sozysozbot / 2kmcc

  View on GitHub
  ☆30Feb 26, 2023Updated 3 years ago
• toshia / covid19

  View on GitHub
  mikutterで、COVID-19（新型コロナウィルス）の感染者数などの最新情報を取得するプラグインです。
  ☆13Mar 5, 2020Updated 6 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• itchyny / minivm

  View on GitHub
  ☆13Jan 23, 2017Updated 9 years ago
• cannorin / UdonInfoExtractor

  View on GitHub
  ☆13Mar 18, 2021Updated 4 years ago
• puripuri2100 / satysfi-code-printer

  View on GitHub
  Typeset source code with SATySFi
  ☆16Jan 1, 2025Updated last year
• fetburner / compelib

  View on GitHub
  競プロ用ライブラリ
  ☆15Jun 11, 2022Updated 3 years ago
• usagrada / satysfi-formatter

  View on GitHub
  Formatter for SATySFi
  ☆17Jun 7, 2025Updated 9 months ago
• PFLab-OS / Raph_Kernel

  View on GitHub
  ☆38Apr 29, 2018Updated 7 years ago
• Beluga-lang / Meta

  View on GitHub
  Mechanizing Types and Programming Languages using Beluga
  ☆21May 29, 2020Updated 5 years ago
• Tatsuki-I / Vihs

  View on GitHub
  Vim like Text editor by Haskell.
  ☆14Aug 7, 2017Updated 8 years ago