Alternatives and similar repositories for hpdft

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

• asciidwango / ptex

  View on GitHub
  ☆10Jun 26, 2019Updated 6 years ago
• wtsnjp / texlive-ja

  View on GitHub
  Japanese translation for the "TeX Live Guide"
  ☆27Mar 25, 2025Updated 10 months ago
• abenori / satysfi-class-jlreq

  View on GitHub
  ☆17Oct 22, 2023Updated 2 years ago
• CALIL / openBD-Chrome-Extension

  View on GitHub
  openBD Chrome Extension
  ☆11Feb 7, 2017Updated 9 years ago
• k16shikano / markdown-tex

  View on GitHub
  markdown processor in TeX
  ☆19May 13, 2021Updated 4 years ago
• fumieval / apus

  View on GitHub
  ☆10Dec 19, 2018Updated 7 years ago
• ogata-k / GUI_cmp

  View on GitHub
  compare crate of GUI for Rust
  ☆10Jun 7, 2022Updated 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
• monaqa / satysfi-parser

  View on GitHub
  SATySFi parser writtern in Rust.
  ☆14Apr 14, 2022Updated 3 years ago
• ksk / Rho

  View on GitHub
  Programs for checking the ρ property
  ☆17Feb 28, 2021Updated 4 years ago
• monaqa / satysfi-enumitem

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

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

  View on GitHub
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Jul 8, 2018Updated 7 years ago
• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• y-taka-23 / time-machine

  View on GitHub
  A Haskell library to mock the current time. ⏰
  ☆19May 1, 2018Updated 7 years ago
• monaqa / satysfi-azmath

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

  View on GitHub
  Custom OPAM repository for SATySFi libraries managed by Satyrographos
  ☆18Jan 20, 2025Updated last year
• pickoba / satysfi-workshop

  View on GitHub
  SATySFi Support for VSCode
  ☆20Nov 16, 2025Updated 2 months ago
• sheepla / websh-prompt

  View on GitHub
  💻 A command line websh client with bash-like interactive UI
  ☆25Jul 14, 2024Updated last year
• cyanolupus / owari-shop

  View on GitHub
  wildcard subdomain playground
  ☆21Feb 4, 2026Updated last week
• monaqa / tree-sitter-satysfi

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

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

  View on GitHub
  オンライン 117（時報・音声時計）
  ☆11Jul 3, 2021Updated 4 years ago
• rossberg / mixml

  View on GitHub
  MixML prototype interpreter
  ☆27Dec 13, 2019Updated 6 years ago
• wtsnjp / MioGatto

  View on GitHub
  An annotation tool for grounding of formulae
  ☆24May 28, 2024Updated last year
• TEI-EAJ / jp_guidelines

  View on GitHub
  TEIガイドラインへの準拠の仕方を日本語で解説します。
  ☆12Feb 15, 2021Updated 5 years ago
• PiedHarrier / EPGS-to-LINE

  View on GitHub
  ⏺ EPGStationからLINE Notifyを使用して通知を送るコマンドラインツール
  ☆10Apr 20, 2022Updated 3 years ago
• shinchoku-tairiku / shinchoku-tairiku.satyh

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

  View on GitHub
  OCaml + Fly.io
  ☆11Nov 21, 2025Updated 2 months ago
• yabaitechtokyo / satysfi-derive

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

  View on GitHub
  A statically typed functional programming language.
  ☆46Feb 7, 2026Updated last week
• camlspotter / ocaml-zippy-tutorial-in-japanese

  View on GitHub
  OCaml の日本語での情報
  ☆95Oct 3, 2018Updated 7 years ago
• zr-tex8r / BXcoloremoji

  View on GitHub
  LaTeX: To use color emoji
  ☆28Nov 18, 2024Updated last year
• koki-develop / ghatree

  View on GitHub
  🌲 Visualize GitHub Actions workflow dependencies as a tree structure.
  ☆17Feb 2, 2026Updated last week
• SnO2WMaN / satyxin

  View on GitHub
  Are you SATySFi-ed with Nix?
  ☆14Mar 6, 2023Updated 2 years ago
• theoremoon / satysfi.ml

  View on GitHub
  ☆14Sep 2, 2021Updated 4 years ago
• kenjimyzk / spacemacs-japanese

  View on GitHub
  ☆11Sep 5, 2019Updated 6 years ago
• tsukumijima / EITViewer

  View on GitHub
  放送波の MPEG2-TS に重畳されている EIT (Event Information Table: 番組情報) の生データを時系列でいい感じに表示するツール
  ☆13Aug 9, 2022Updated 3 years ago